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 
- Jürgen Giesl, René Thiemann, Peter Schneider-Kamp:
Proving and Disproving Termination in the Dependency Pair Framework.
- Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Executive Summary - Deduction and Applications.
- Deepak Kapur:
Automatically Generating Loop Invariants Using Quantifier Elimination.
- Viktor Kuncak, Martin C. Rinard, Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints.
- Jörg H. Siekmann:
Proof Presentation.
- Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Abstracts Collection - Deduction and Applications.
Last update Wed May 22 20:22:50 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
