[Back]


Diploma and Master Theses (authored and supervised):

J. Schoisswohl:
"Automated induction by reflection";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-01-11.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.34726/hss.2020.75342

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302960.pdf


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