Constraints in computational logics
The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
A Methodological View of Constraint Solving
Constraints
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
A Control Language for Designing Constraint Solvers
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
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 Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Journal of Functional Programming
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Concurrency, Graphs and Models
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Explaining constraint programming
Processes, Terms and Cycles
Hi-index | 0.00 |