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:

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