Project Details
Person
Dr. Michael Arndt
Address
Eberhard Karls Universität Tübingen
Fachbereich IV: Informatik
Sand 13
72076 Tübingen
-
As Applicant
-
Completed projects
-
Paul Hertz and his Foundation of Structural Proof Theory (Research Grants) -
Graphs and Hypergraphs in Proof Theory (Research Grants)
-
-
Completed projects
