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:
http://publik.tuwien.ac.at/files/PubDat_202134.pdf
Related Projects:
Project Head Alexander Leitsch:
Beweistheoretische Anwendungen von CERES
Created from the Publication Database of the Vienna University of Technology.