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)
http://dx.doi.org/10.34726/hss.2021.84140
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302959.pdf
Created from the Publication Database of the Vienna University of Technology.