Constraints in computational logics
The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Non-deterministic Computations in ELAN
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Rule Based Programming with Constraints and Strategies
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Generating Propagation Rules for Finite Domains: A Mixed Approach
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Basic components for constraint solver cooperations
Proceedings of the 2003 ACM symposium on Applied computing
Journal of Functional Programming
Automatic generation of rule-based constraint solvers over finite domains
ACM Transactions on Computational Logic (TOCL)
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
A note on redundant rules in rule-based constraint programming
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Explaining constraint programming
Processes, Terms and Cycles
| Hi-index | 0.00 |