|
СТ |
Code-Based Test Generation for Validation of Functional Processor Descriptions |
2003 |
Baray F., Codognet P., Diaz D., Michel H. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
GNU Prolog: Beyond Compiling Prolog to C |
2000 |
Diaz D., Codognet P. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Constraint Retraction in FD |
1996 |
Codognet P., Diaz D., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
WAMCC: Compiling Prolog to C |
1995 |
Codognet P., Diaz D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
08.05.1996 |
|
СТ |
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving |
1994 |
Codognet P., Diaz D. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Boolean Constraint Solving Using CLP(FD) |
1993 |
Codognet P., Diaz D. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
