Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Seminar “Selected Topics in Logic and Verification” + (17. März 2025, 14:51:44)
- Team Project “Model Checking” + (17. März 2025, 14:51:52)
- SEMECO-Q1/en + (18. März 2025, 13:06:04)
- SEMECO-Q2 + (18. März 2025, 13:06:20)
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes + (18. März 2025, 13:07:58)
- Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks + (18. März 2025, 13:08:04)
- SEMECO-Q1 + (19. März 2025, 09:15:09)
- Theoretische Informatik und Logik + (25. März 2025, 09:09:50)
- Datei:LAT group photo 2025.jpg + (25. März 2025, 16:50:23)
- Automatentheorie + (25. März 2025, 16:56:45)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (26. März 2025, 18:41:55)
- Existential Notation3 Logic + (27. März 2025, 08:38:23)
- Datei:Gerlach-Leaning-In-2025-Talk-Slides.pdf + (27. März 2025, 12:23:21)
- Formalizing Possibly Infinite Trees of Finite Degree + (27. März 2025, 12:25:16)
- Database Theory + (27. März 2025, 12:40:05)
- Lukas Gerlach + (27. März 2025, 12:59:41)
- Datei:Thesis Topic Ill-Founded Sequent System for LTL.pdf + (27. März 2025, 15:39:32)
- Ill-Founded Linear Nested Sequents for LTL + (28. März 2025, 12:05:26)
- Datei:Thesis Topic Simplified Tableaux for SLTL.pdf + (28. März 2025, 12:14:44)
- A Simplified Tableau Calculus for Standpoint LTL + (28. März 2025, 12:14:51)
- Ill-Founded Linear Nested Sequents for LTL + (28. März 2025, 12:15:19)
- A Simplified Tableau Calculus for Standpoint LTL + (28. März 2025, 12:16:37)
- Datei:Lmcs-bbe-grange.pdf + (31. März 2025, 07:49:42)
- About the Expressive Power and Complexity of Order-Invariance with Two Variables + (31. März 2025, 07:49:57)
- Theoretische Informatik und Logik + (31. März 2025, 09:40:39)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (1. April 2025, 05:31:29)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (1. April 2025, 05:31:29)
- Vagueness in Predicates and Objects + (4. April 2025, 15:33:40)
- Seminar Logic-Based Knowledge Representation + (7. April 2025, 06:30:10)
- Recent Topics in Knowledge Graphs + (7. April 2025, 08:26:57)
- Datei:DBT2025-Lecture-01-overlay.pdf + (7. April 2025, 08:58:33)
- Datei:DBT2025-Lecture-01-print.pdf + (7. April 2025, 08:58:41)
- Datei:DBT2025-Lecture-02-overlay.pdf + (7. April 2025, 08:59:06)
- Datei:DBT2025-Lecture-02-print.pdf + (7. April 2025, 08:59:13)
- Datei:TheoLog2025-Vorlesung-01.pdf + (7. April 2025, 11:47:21)
- Datei:TheoLog2025-Vorlesung-02.pdf + (7. April 2025, 13:22:11)
- Vorlage:Upcoming events feed + (7. April 2025, 14:50:07)
- Datei:2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf + (8. April 2025, 05:44:21)
- Restricted Chase Termination: You Want More than Fairness + (8. April 2025, 05:47:16)
- Datei:CONCUR25-01-introduction.pdf + (8. April 2025, 08:17:58)
- Datei:CONCUR-02-bisimilarity.pdf + (8. April 2025, 10:53:10)
- Datei:DBT-2025-Exercise-01.pdf + (9. April 2025, 05:48:54)
- Datei:CONCUR25-Exercise-01-intro.pdf + (9. April 2025, 13:37:49)
- Aktivitaet2137 + (10. April 2025, 14:47:09)
- Aktivitaet2086 + (10. April 2025, 14:47:28)
- Aktivitaet2009 + (10. April 2025, 14:47:44)
- Aktivitaet2138 + (10. April 2025, 14:55:51)
- Aktivitaet2118 + (10. April 2025, 15:00:18)
- Datei:SECAI-SQUARE-SHORT.pdf + (11. April 2025, 06:20:02)
- Datei:Uni-Leipzig-Logo.png + (11. April 2025, 06:24:27)
