[Back]


Contributions to Proceedings:
A. Leitsch, G. Reis, B. Woltzenlogel-Paleo:
"Towards CERes in intuitionistic logic";
in: "Computer Science Logic (CSL'12) - 26th International Workshop/21st", P. Cegielski et al. (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012, ISBN: 978-3-939897-42-2, 485 - 499.

Electronic version of the publication:
http://dx.doi.org/10.4230/LIPIcs.CSL.2012.485

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