Sciweavers

1353 search results - page 4 / 271
» Streamlined Constraint Reasoning
Sort
View
61
Voted
CCL
1994
Springer
15 years 1 months ago
Constraints for Polymorphic Behaviours of Concurrent ML
Flemming Nielson, Hanne Riis Nielson
PLILP
1994
Springer
15 years 1 months ago
Abstracting Synchronization in Concurrent Constraint Programming
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
KR
1989
Springer
15 years 1 months ago
Temporal Constraint Networks
Rina Dechter, Itay Meiri, Judea Pearl