BibSonomy :: author  ::

bookmarks

publications

(2)

• Implementing RPO and POLO using SAT.
  Peter Schneider-Kamp and Carsten Fuhs and René Thiemann and Jürgen Giesl and Elena Annov and Michael Codish and Aart Middeldorp and Harald Zankl Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Proving Termination Using Recursive Path Orders and SAT Solving.
  Peter Schneider-Kamp and René Thiemann and Elena Annov and Michael Codish and Jürgen Giesl FroCos 267-282 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX