Term rewriting with variable binding: an initial algebra approach
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Mathematical Structures in Computer Science
An initial algebra approach to term rewriting systems with variable binders
Higher-Order and Symbolic Computation
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Modularity in term rewriting revisited
Theoretical Computer Science
Hi-index | 0.00 |