A Methodological View of Constraint Solving
Constraints
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Matching with Free Function Symbols - A Simple Extension of Matching?
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Language and Automata Theory and Applications
Anti-patterns for rule-based languages
Journal of Symbolic Computation
Rule-Based Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |