Dagstuhl Seminar Proceedings 07401

Deduction and Decision Procedures

F. Baader, B. Cook, J. Giesl, R. Nieuwenhuis (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07401, 30.09. - 05.10.2007
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Annov, Elena
  • Baader, Franz
  • Codish, Michael
  • Cook, Byron
  • De Schreye, Daniel
  • Fuhs, Carsten
  • Ghilardi, Silvio
  • Giesl, Jürgen
  • Ihlemann, Carsten
  • Jacobs, Swen
  • Middeldorp, Aart
  • Nguyen, Manh Thang
  • Nicolini, Enrica
  • Nieuwenhuis, Robert
  • Ranise, Silvio
  • Schneider-Kamp, Peter
  • Serebrenik, Alexander
  • Sofronie-Stokkermans, Viorica
  • Swiderski, Stephan
  • Thiemann, René
  • Zankl, Harald
  • Zucchelli, Daniele

  •   
    07401 Abstracts Collection -- Deduction and Decision Procedures
    Authors: Baader, Franz ; Cook, Byron ; Giesl, Jürgen ; Nieuwenhuis, Robert

    Abstract | Document (224 KB) | BibTeX

    07401 Executive Summary -- Deduction and Decision Procedures
    Authors: Baader, Franz ; Cook, Byron ; Giesl, Jürgen ; Nieuwenhuis, Robert

    Abstract | Document (75 KB) | BibTeX

    Decision Procedures for Loop Detection
    Authors: Thiemann, René ; Giesl, Jürgen ; Schneider-Kamp, Peter

    Abstract | Document (309 KB) | BibTeX

    From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems
    Authors: Ghilardi, Silvio ; Ranise, Silvio ; Nicolini, Enrica ; Zucchelli, Daniele

    Abstract | Document (75 KB) | BibTeX

    Implementing RPO and POLO using SAT
    Authors: Schneider-Kamp, Peter ; Fuhs, Carsten ; Thiemann, René ; Giesl, Jürgen ; Annov, Elena ; Codish, Michael ; Middeldorp, Aart ; Zankl, Harald

    Abstract | Document (184 KB) | BibTeX

    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    Authors: Sofronie-Stokkermans, Viorica ; Ihlemann, Carsten ; Jacobs, Swen

    Abstract | Document (254 KB) | BibTeX

    Termination of Programs using Term Rewriting and SAT Solving
    Authors: Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander

    Abstract | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI