POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
Constraint logic programming languages
Communications of the ACM
A finite presentation theorem for approximating logic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
Feature-constraint logics for unification grammars
Journal of Logic Programming
Term rewriting and all that
A Methodological View of Constraint Solving
Constraints
Feature Constraints with First-Class Features
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Model Checking as Constraint Solving
SAS '00 Proceedings of the 7th International Symposium on Static Analysis
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
| Hi-index | 0.00 |