Dagstuhl Seminar Proceedings: Deduction and Applications 2005

• 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.