|
СТ |
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 |
|
СТ |
Abstract Interpretation for Concurrent Logic Languages |
1990 |
Codognet C., Codognet P., Corsini M. -M. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.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 |
|
СТ |
Yet Another Intelligent Backtracking Method |
1988 |
Codognet C. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
30.09.1994 |
