[Back]


Talks and Poster Presentations (with Proceedings-Entry):

A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Transforming and Analyzing Proofs in the CERES-system";
Talk: The LPAR 2008 Workshops: KEAPPA and IWIL 2008, Doha, Qatar; 2008-11-22; in: "Proceedings of the LPAR 2008 Workshops", P. Rudnicki, G. Sutcliffe et al. (ed.); CEUR-WS.org, Vol 418 (2008), ISSN: 1613-0073; 77 - 91.


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