Diploma and Master Theses (authored and supervised):

M. Hajdu:
"Automating inductive reasoning with recursive functions";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-03-25.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.