Dagstuhl Seminar Proceedings: Deduction and Applications 2005

> Home > Series > Dagstuhl Seminar Proceedings

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/2005P5431
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5431
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/GieslTS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GieslTS05
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp:
Proving and Disproving Termination in the Dependency Pair Framework.
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BaaderBNV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BaaderBNV05
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Executive Summary - Deduction and Applications.
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Kapur05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Kapur05
Deepak Kapur:
Automatically Generating Loop Invariants Using Quantifier Elimination.
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/KuncakRM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KuncakRM05
Viktor Kuncak, Martin C. Rinard, Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints.
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Siekmann05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Siekmann05
Jörg H. Siekmann:
Proof Presentation.
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BaaderBNV05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BaaderBNV05a
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Abstracts Collection - Deduction and Applications.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.