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-10 of 10 (Search time: 0.0 seconds).

Project	Principle Investigator	Coordinating Department
Algorithmische Komplexität von Strukturen und deren Äquivalenzrelationen	Benavente-Fokina, Ekaterina	E104-02 - Forschungsbereich Computational Logic
Determiniertheit in der Zalhentheorie zweiter Stufe	Aguilera Ozuna, Juan Pablo	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
Materielle Interpretation	Wiesnet, Franziskus	E104-02 - Forschungsbereich Computational Logic
Neue Konzepte formaler Beweise und Beweisdarstellung	Baaz, Matthias	E104-02 - Forschungsbereich Computational Logic
Reflexionsprinzipien zweiter Stufe in den Ordinalzahlen	Aguilera Ozuna, Juan Pablo	E104-02 - Forschungsbereich Computational Logic
Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning	Hetzl, Stefan	E104-02 - Forschungsbereich Computational Logic
Strukturen durch Lernen Klassifizieren	Benavente-Fokina, Ekaterina	E104-02 - Forschungsbereich Computational Logic
The Fine Structure of Formal Proof Systems and their Computational Interpretations	Baaz, Matthias	E104-02 - Forschungsbereich Computational Logic