Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2005 (conf/dagstuhl/2005P5431)

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