| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 111 |       | Dean Voets, Danny De Schreye: Non-termination Analysis of Logic Programs with Integer arithmetics CoRR abs/1109.3256: (2011) |
| 109 | | Dean Voets, Danny De Schreye: Non-termination analysis of logic programs with integer arithmetics. TPLP 11(4-5): 521-536 (2011) |
| 107 | | Dean Voets, Danny De Schreye: Non-termination Analysis of Logic Programs Using Types. LOPSTR 2010: 133-148 |
| 106 | | Dean Voets, Danny De Schreye: A New Approach to Non-termination Analysis of Logic Programs. ICLP 2009: 220-234 |
| 103 | | Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination Prediction for General Logic Programs CoRR abs/0905.2004: (2009) |
| 101 | | Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination prediction for general logic programs. TPLP 9(6): 751-780 (2009) |
Selection of 6 from 114 records - Danny De Schreye has 43 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page