Sciweavers

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