From Higher-Order to First-Order Rewriting
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Pattern matching as cut elimination
Theoretical Computer Science
Confluence of pattern-based calculi
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
On Explicit Substitution with Names
Journal of Automated Reasoning
| Hi-index | 5.23 |