[Back]


Talks and Poster Presentations (without Proceedings-Entry):

G. Reis:
"A framework for specifying and reasoning in sequent calculus systems";
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.