BibSonomy :: author  ::

bookmarks

publications

(98)

• Termination of Programs using Term Rewriting and SAT Solving.
  Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach
  Yi-Dong Shen and Danny De Schreye CoRR abs/cs/0512055 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• On termination of meta-programs
  Alexander Serebrenik and Danny De Schreye CoRR cs.PL/0110035 (2001)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Inference of termination conditions for numerical loops in Prolog
  Alexander Serebrenik and Danny De Schreye CoRR cs.PL/0110034 (2001)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Inference of termination conditions for numerical loops
  Alexander Serebrenik and Danny De Schreye CoRR cs.PL/0106053 (2001)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Acceptability with general orderings
  Danny De Schreye and Alexander Serebrenik CoRR cs.PL/0106052 (2001)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Termination analysis of logic programs using acceptability with general term orders
  Alexander Serebrenik and Danny De Schreye CoRR cs.PL/0011025 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Termination Proofs for Logic Programs with Tabling
  Sofie Verbaeten and Danny De Schreye and Konstantinos F. Sagonas CoRR cs.LO/0003045 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Semantic interpretation of temporal information by abductive inference
  Sven Verdoolaege and Marc Denecker and Ness Schelkens and Danny De Schreye and Frank Van Eynde CoRR cs.CL/0011034 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Polytool: Proving Termination Automatically Based on Polynomial Interpretations.
  Manh Thang Nguyen and Danny De Schreye LOPSTR 210-218 (2006)
  to dblp by dblp on 2007-05-27 00:00:00
  | URL | BibTeX