BibSonomy :: author  ::

bookmarks

publications

(107)

• Improving Context-Sensitive Dependency Pairs.
  Beatriz Alarcón and Fabian Emmes and Carsten Fuhs and Jürgen Giesl and Raúl Gutiérrez and Salvador Lucas and Peter Schneider-Kamp and René Thiemann LPAR 636-651 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Extending the Explicit Substitution Paradigm.
  Delia Kesner and Stéphane Lengrand RTA 407-422 (2005)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Search Techniques for Rational Polynomial Orders.
  Carsten Fuhs and Rafael Navarro-Marset and Carsten Otto and Jürgen Giesl and Salvador Lucas and Peter Schneider-Kamp AISC/MKM/Calculemus 109-124 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Deciding Innermost Loops.
  René Thiemann and Jürgen Giesl and Peter Schneider-Kamp RTA 366-380 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Maximal Termination.
  Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl RTA 110-125 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Preface.
  Jürgen Giesl Electr. Notes Theor. Comput. Sci. 204 1-2 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
  Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07401 Abstracts Collection -- Deduction and Decision Procedures.
  Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
  Viorica Sofronie-Stokkermans and Carsten Ihlemann and Swen Jacobs Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07401 Executive Summary -- Deduction and Decision Procedures.
  Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX