[Back]


Diploma and Master Theses (authored and supervised):

S. Rain:
"First-Order Reasoning with Aggregates";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-18.



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


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