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)
http://dx.doi.org/10.1007/978-3-642-32621-9_12
Created from the Publication Database of the Vienna University of Technology.