Single Elementary Associative-Commutative Matching
Journal of Automated Reasoning
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Handbook of automated reasoning
Journal of Functional Programming
Hi-index | 0.00 |