Modular termination of context-sensitive rewriting
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the confluence of λ-calculus with conditional rewriting
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Modularity in term rewriting revisited
Theoretical Computer Science
Hi-index | 0.00 |