Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• CMS Research Project “Model Checking”  +
• Concurrency Theory  +
• Database Theory  +
• For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Finite De­gree  +
• 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  +