СТ |
Soft Concurrent Constraint Programming |
2002 |
Bistarelli S., Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
СТ |
Constraint (Logic) Programming: A Survey on Research and Applications |
2000 |
Rossi F. |
|
|
|
Lecture Notes in Computer Science |
20.10.2000 |
СТ |
Constraint Retraction in FD |
1996 |
Codognet P., Diaz D., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
СТ |
Graph Rewriting and Constraint Solving for Modeling Distributed Systems with Synchronization |
1996 |
Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
21.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 |
СТ |
Contextual nets |
1995 |
Montanari U., Rossi F. |
|
|
|
Acta Informatica |
20.10.1995 |
СТ |
Concurrency and Concurrent Constraint Programming |
1995 |
Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
СТ |
True Concurrency in Concurrent Constraint Programming |
1991 |
Montanari U., Rossi F. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
СТ |
Towards a Concurrent Semantics Based Analysis of CC and CLP |
1994 |
Montanari U., Rossi F., Bueno F., De La Banda M. G., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
CC Programs with Both In- and Non-determinism: A Concurrent Semantics |
1994 |
Montanari U., Rossi F., Saraswat V. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Reasoning in Inconsistent Databases |
1990 |
Naqvi S. A., Rossi F. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics |
1994 |
Bueno F., Hermenegildo M., Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
СТ |
Perfect Relaxation in Constraint Logic Programming |
1991 |
Montanari U., Rossi F. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
Contextual Occurrence Nets and Concurrent Constraint Programming |
1994 |
Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |