[Back]


Diploma and Master Theses (authored and supervised):
J. Rath:
"Subsumption Demodulation in First-Order Theorem Proving";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2019; final examination: 2019-10-07.

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