| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Stefaan Decorte, Danny De Schreye, Henk Vandecasteele: Constraint-based termination analysis of logic programs. ACM Trans. Program. Lang. Syst. 21(6): 1137-1195 (1999) |
| 6 |  | Stefaan Decorte, Danny De Schreye: Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. IJCSLP 1998: 235-249 |
| 5 | | Stefaan Decorte, Danny De Schreye: Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ICLP 1997: 78-92 |
| 4 | | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127 |
| 3 | | Danny De Schreye, Stefaan Decorte: Termination of Logic Programs: The Never-Ending Story. J. Log. Program. 19/20: 199-260 (1994) |
| 2 | | Stefaan Decorte, Danny De Schreye, Massimo Fabris: Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. ILPS 1993: 420-436 |
| 1 | | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye: Automatic Termination Analysis. LOPSTR 1992: 168-183 |
Selection of 7 from 7 records - Stefaan Decorte has 7 coauthors
Copyright © 2009-12-31 by Michael Ley (ley@uni-trier.de)