[Back]


Diploma and Master Theses (authored and supervised):
C. Hochrainer:
"Automated Reasoning over Arrays in the Superposition Calculus";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-07-21.

Electronic version of the publication:
https://repositum.tuwien.at/handle/20.500.12708/15173

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