ProjectInduktive Definitionen in Logikkalkülen
Basic data
Title:
Induktive Definitionen in Logikkalkülen
Begin:
08/05/2009
Keywords:
induktive Definitionen
logic
Logik
proof theory
Beweistheorie
Involved staff
Managers
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Local organizational units
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science
Faculty of Science
Funders
Stuttgart, Baden-Württemberg, Germany