Publications in Scientific Journals:
A. Ciabattoni, M. Baaz, C. Fermüller:
"Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability";
Logical Methods in Computer Science,
8
(2012),
1;
1
- 20.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.2168/LMCS-8(1:20)2012
Electronic version of the publication:
http://dx.doi.org/10.2168/LMCS-8(1:20)2012
Created from the Publication Database of the Vienna University of Technology.