[Back]


Contributions to Proceedings:
A. Leitsch, T. Dunchev, D. Weller, B. Woltzenlogel-Paleo, T. Libal:
"System Description: The Proof Transformation System CERES";
in: "IJCAR 2010", J. Giesl, R. Hähnle (ed.); Springer, LNAI, Heidelberg, 2010, ISBN: 978-3-642-14202-4, 427 - 433.

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