Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Termination of simply-moded well-typed logic programs under a tabled execution mechanism
Authors:
Verbaeten, S De Schreye, D
Citation:
S. Verbaeten et D. De Schreye, Termination of simply-moded well-typed logic programs under a tabled execution mechanism, APPL ALG EN, 12(1-2), 2001, pp. 157-196
Compositionality of normal open logic programs
Authors:
Verbaeten, S Denecker, M de Schreye, D
Citation:
S. Verbaeten et al., Compositionality of normal open logic programs, J LOGIC PR, 42(3), 2000, pp. 151-183
Risultati:
1-2
|