Publications in Scientific Journals:
A. Ciabattoni, M. Baaz, N Preining:
"First-order satisfiability in Gödel logics: an NP-complete fragment";
Theoretical Computer Science,
414
(2011),
6612
- 6623.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.tcs.2011.07.015
Created from the Publication Database of the Vienna University of Technology.