Proof Theory

DSpace Repositorium (Manakin basiert)

Proof Theory

Autor(en): Piecha, Thomas; Schroeder-Heister, Peter
Tübinger Autor(en):
Piecha, Thomas
Schroeder-Heister, Peter
Erschienen in: Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 (2018-08-28), Bd.
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.15496/publikation-25225
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Konferenzveröffentlichung
Zur Langanzeige

Das Dokument erscheint in: