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.