Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Constraint-based termination analysis of logic programs
Authors:
Decorte, S De Schreye, D Vandecasteele, H
Citation:
S. Decorte et al., Constraint-based termination analysis of logic programs, ACM T PROGR, 21(6), 1999, pp. 1137-1195
Risultati:
1-1
|