Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
S. Hetzl:
"Inductive theorem proving based on tree grammars";
Vortrag: PUMA Graduiertenkolleg,
München, Deutschland (eingeladen);
06.04.2016.
Kurzfassung englisch:
This talk is about an approach to inductive theorem proving which is based on recent proof-theoretic results on the relationship betweeninduction and tree grammars.
Elektronische Version der Publikation:
https://www7.in.tum.de/~schulzef/2016-04-06-Stefan-Hetzl.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.