Talks and Poster Presentations (without Proceedings-Entry):
S. Hetzl:
"Inductive theorem proving based on tree grammars";
Talk: PUMA Graduiertenkolleg,
München, Deutschland (invited);
2016-04-06.
English abstract:
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.
Electronic version of the publication:
https://www7.in.tum.de/~schulzef/2016-04-06-Stefan-Hetzl.pdf
Created from the Publication Database of the Vienna University of Technology.