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
- CMS Research Project “Model Checking” +
- Concurrency Theory +
- Internal and External Calculi: Ordering the Jungle without Being Lost in Translations +
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ +
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ +
- Lab Course “Modeling and Automated Verification” +
- Lecture “Advanced Logics” +
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic +
- Profilprojekt „Forschungsprojekt Formale Methoden“ +
- Proseminar „Binäre Entscheidungsgraphen“ +
- Proseminar „Theoretische Informatik“ +
- Research Seminar “Formal Methods” +
- Seminar Large Language Models and Knowledge-aware AI +
- Seminar “Selected Topics in Logic and Verification” +
- Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents +
- Team Project “Model Checking” +
- Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations +
- Veröffentlichungen in 2025 +
