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-06; in: "Logic, Language, Information and Computation (LNCS 2012)",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.