Talks and Poster Presentations (without Proceedings-Entry):

B. Woltzenlogel-Paleo, P. Fontaine, D. Deharbe:
"Quantifier Inference Rules for SMT Proofs";
Talk: Proof Exchange for Theorem Proving (PxTP), Wroclaw, Poland; 2011-07-31 - 2011-08-01.

Electronic version of the publication:

Related Projects:
Project Head Alexander Leitsch:
Beweistheoretische Anwendungen von CERES

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