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
Journal of Functional Programming
Hi-index | 0.00 |