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
Copyright © Sat May 16 23:04:54 2009
by Michael Ley (ley@uni-trier.de)