[Back]


Talks and Poster Presentations (without Proceedings-Entry):

D. Cerna:
"Towards Powerful and Decidable Formalizations Through Schematic Representation";
Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0), Rio de Janeiro; 2013-04-03 - 2013-04-04.


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