Publications in Scientific Journals:
P. Baldi, A. Ciabattoni:
"Uniform proofs of standard completeness for extensions of first-order MTL";
Theoretical Computer Science,
603
(2015),
43
- 57.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.tcs.2015.07.014
Created from the Publication Database of the Vienna University of Technology.