Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
B. Woltzenlogel-Paleo, P. Fontaine, D. Deharbe:
"Quantifier Inference Rules for SMT Proofs";
Vortrag: Proof Exchange for Theorem Proving (PxTP),
Wroclaw, Poland;
31.07.2011
- 01.08.2011.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_202134.pdf
Zugeordnete Projekte:
Projektleitung Alexander Leitsch:
Beweistheoretische Anwendungen von CERES
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.