The semantic foundations of concurrent constraint programming 论文

1991引用 384
Logic, programming, and type systemsConstraint Satisfaction and OptimizationLogic, Reasoning, and Knowledge

The semantic foundations of concurrent constraint programming · 相关技术