Talks and Poster Presentations (with Proceedings-Entry):

P. Baldi, A. Ciabattoni, L. Spendier:
"Standard completeness for extensions of MTL: an automated approach";
Talk: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 2012-09-03 - 2012-09-06; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), 154 - 167.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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