|
СТ |
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 |
|
СТ |
A Constraint-Based Language for Virtual Agents |
2000 |
Codognet P. |
|
|
|
Lecture Notes in Computer Science |
20.10.2000 |
|
СТ |
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 |
|
СТ |
Parallel Logic Programming Systems |
1994 |
De Kergommeaux J. C., Codognet P. |
|
|
|
ACM Computing Surveys |
17.06.1996 |
|
СТ |
WAMCC: Compiling Prolog to C |
1995 |
Codognet P., Diaz D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
08.05.1996 |
|
СТ |
NMCC Programming: Constraint Enforcement and Retraction in CC Programming |
1995 |
Codognet P., Rossi F. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
08.05.1996 |
|
СТ |
Guarded Constructive Disjunction: Angel or Demon? |
1995 |
Codognet C., Codognet P. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation |
1995 |
Codognet C., Codognet P. |
|
|
|
Lecture Notes in Computer Science |
12.07.1995 |
|
СТ |
Enhancing the Constraint-Solving Power of CLP(ED) by Means of Path-Consistency Methods |
1995 |
Codognet P., Nardiello G. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
Improving Backward Execution in the Andorra Family of Languages |
1992 |
Abreu S., Pereira L. M., Codognet P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Abstract Interpretation for Concurrent Logic Languages |
1990 |
Codognet C., Codognet P., Corsini M. -M. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving |
1994 |
Codognet P., Diaz D. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Sleepers: A Versatile High-Level Control Mechanism |
1994 |
Codognet C., Codognet P., Loia V., Quaggetto M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Path Consistency in clp(ED) |
1994 |
Codognet P. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Boolean Constraint Solving Using CLP(FD) |
1993 |
Codognet P., Diaz D. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
|
СТ |
Extending the WAM for Intelligent Backtracking |
1991 |
Codognet P., Sola T. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Computations, Abstractions and Constraints (extended abstract) |
1991 |
Codognet P., File G. |
|
|
|
BIGRE |
11.12.1991 |
