ProjektInduktive Definitionen in Logikkalkülen
Grunddaten
Titel:
Induktive Definitionen in Logikkalkülen
Beginn:
08.05.2009
Schlüsselwörter:
induktive Definitionen
Logik
logic
Beweistheorie
proof theory
Beteiligte Mitarbeiter/innen
Leiter/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Lokale Einrichtungen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät
Mathematisch-Naturwissenschaftliche Fakultät
Geldgeber
Stuttgart, Baden-Württemberg, Deutschland