Dagstuhl Seminar Proceedings 05431

Deduction and Applications

F. Baader, P. Baumgartner, R. Nieuwenhuis, A. Voronkov (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 05431, 23.10. - 28.10.2005
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Baader, Franz
  • Baumgartner, Peter
  • Giesl, Jürgen
  • Kapur, Deepak
  • Kuncak, Viktor
  • Marnette, Bruno
  • Nieuwenhuis, Robert
  • Rinard, Martin
  • Schneider-Kamp, Peter
  • Siekmann, Jörg
  • Thiemann, René
  • Voronkov, Andrei

  •   
    05431 Abstracts Collection -- Deduction and Applications
    Authors: Baader, Franz ; Baumgartner, Peter ; Nieuwenhuis, Robert ; Voronkov, Andrei

    Abstract | Document (221 KB) | BibTeX

    05431 Executive Summary -- Deduction and Applications
    Authors: Baader, Franz ; Baumgartner, Peter ; Nieuwenhuis, Robert ; Voronkov, Andrei

    Abstract | Document (90 KB) | BibTeX

    Automatically Generating Loop Invariants Using Quantifier Elimination
    Authors: Kapur, Deepak

    Abstract | Document (258 KB) | BibTeX

    On Algorithms and Complexity for Sets with Cardinality Constraints
    Authors: Kuncak, Viktor ; Rinard, Martin ; Marnette, Bruno

    Abstract | Document (558 KB) | BibTeX

    Proof Presentation
    Authors: Siekmann, Jörg

    Abstract | Document (107 KB) | BibTeX

    Proving and Disproving Termination in the Dependency Pair Framework
    Authors: Giesl, Jürgen ; Thiemann, René ; Schneider-Kamp, Peter

    Abstract | Document (69 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI