[Back]


Talks and Poster Presentations (without Proceedings-Entry):

P. Baldi:
"Density Elimination and Standard Completeness for extensions of UL and MTL";
Talk: Prague Seminar on Substructural logic, Prag; 2014-03-28 - 2014-03-29.


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