Card

Organization Name (de) Name der Organisation (de)

E104-02 - Forschungsbereich Computational Logic

Parent OrgUnit Übergeordnete Organisation

E104 - Institut für Diskrete Mathematik und Geometrie

OrgUnit funded Projects

Results 1-6 of 6 (Search time: 0.001 seconds).

Project	Principle Investigator	Coordinating Department
Algorithmische Komplexität von Strukturen und deren Äquivalenzrelationen	Benavente-Fokina, Ekaterina	E104-02 - Forschungsbereich Computational Logic
Gödel Logiken: Prenexe Fragmente	Baaz, Matthias	E104-02 - Forschungsbereich Computational Logic
Logische Komplexität und Termstruktur	Hetzl, Stefan	E104-02 - Forschungsbereich Computational Logic
Neue Konzepte formaler Beweise und Beweisdarstellung	Baaz, Matthias	E104-02 - Forschungsbereich Computational Logic
Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning	Hetzl, Stefan	E104-02 - Forschungsbereich Computational Logic
The Fine Structure of Formal Proof Systems and their Computational Interpretations	Baaz, Matthias	E104-02 - Forschungsbereich Computational Logic