Dagstuhl Seminar Proceedings: Deduction and Applications 2005
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 05431- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team