Deduction and Applications

2005200620052006

Keyphrases

Publications

volume 5431, 2006

Deduction and Applications, 23.-28. October 2005 Deduction and Applications 5431 (2006)

2005

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