|
СТ |
Synthesis of Programs in Computational Logic |
2004 |
Basin D., Deville Y., Flener P., Hamfelt A., Nilsson J. F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Logic Program Schemas, Constraints, and Semi-unification |
1998 |
Chasseur E., Deville Y. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Design, Implementation, and Evaluation of the Constraint Language cc(FD) |
1995 |
Van Hentenryck P., Saraswat V., Deville Y. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming |
1991 |
Van Hentenryck P., Deville Y. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.1994 |
|
СТ |
A Process-Dependent Partitioning Strategy for Cache Memories |
1993 |
Deville Y. |
|
|
|
Computer Architecture News |
21.04.1993 |
|
СТ |
A Class of Replacement Polices for Medium and High-Associativity Structures |
1992 |
Deville Y., Gobert J. |
|
|
|
Computer Architecture News |
01.07.1992 |
