Danny De Schreye

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Manh Thang Nguyen

> Home > Persons > Danny De Schreye

Publications

2011
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/NguyenSGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/NguyenSGS11
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp:
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. Theory Pract. Log. Program. 11(1): 33-63 (2011)
2009
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0912-4360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-4360
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp:
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs. CoRR abs/0912.4360 (2009)
2007
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/NguyenGSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/NguyenGSS07
Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye:
Termination Analysis of Logic Programs Based on Dependency Graphs. LOPSTR 2007: 8-22
[i9]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/GieslSTSNSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GieslSTSNSS07
Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik:
Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures 2007
2006
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/NguyenS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/NguyenS06
Manh Thang Nguyen, Danny De Schreye:
Polytool: Proving Termination Automatically Based on Polynomial Interpretations. LOPSTR 2006: 210-218
2005
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/NguyenS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/NguyenS05
Manh Thang Nguyen, Danny De Schreye:
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. ICLP 2005: 311-325

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.