Talks and Poster Presentations (with Proceedings-Entry):
M. Ortiz de la Fuente:
"A Fully Internalized Sequent Calculus for Hybrid Categorial Logics";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI),
Malaga, Spain;
2006-07-31
- 2006-08-11; in: "Proceedings of the Eleventh ESSLLI Student Session",
J. Huitink, S. Katrenko (ed.);
(2006),
136
- 147.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/pub-inf_4578.pdf
Created from the Publication Database of the Vienna University of Technology.