Dagstuhl Seminar Proceedings: Deduction and Applications 2005

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp:
Proving and Disproving Termination in the Dependency Pair Framework.
Electronic Edition (link) BibTeX
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Executive Summary - Deduction and Applications.
Electronic Edition (link) BibTeX
Deepak Kapur:
Automatically Generating Loop Invariants Using Quantifier Elimination.
Electronic Edition (link) BibTeX
Viktor Kuncak, Martin C. Rinard, Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints.
Electronic Edition (link) BibTeX
Jörg H. Siekmann:
Proof Presentation.
Electronic Edition (link) BibTeX
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Abstracts Collection - Deduction and Applications.
Electronic Edition (link) BibTeX