Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Combinations of abstract domains for logic programming: open product and generic pattern construction
Authors:
Cortesi, A Le Charlier, B Van Hentenryck, P
Citation:
A. Cortesi et al., Combinations of abstract domains for logic programming: open product and generic pattern construction, SCI COMP PR, 38(1-3), 2000, pp. 27-71
Automated verification of Prolog programs
Authors:
Le Charlier, B Leclere, C Rossi, S Cortesi, A
Citation:
B. Le Charlier et al., Automated verification of Prolog programs, J LOGIC PR, 39(1-3), 1999, pp. 3-42
Risultati:
1-2
|