On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
Confluence of Untyped Lambda Calculus via Simple Types
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Axiomatic Rewriting Theory VI Residual Theory Revisited
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Modularity of strong normalization in the algebraic-λ-cube
Journal of Functional Programming
On modularity in infinitary term rewriting
Information and Computation
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
On modularity in infinitary term rewriting
Information and Computation
Expression reduction systems with patterns
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Rewriting modulo in deduction modulo
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Optimality for dynamic patterns
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
On the confluence of lambda-calculus with conditional rewriting
Theoretical Computer Science
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
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Hi-index | 0.00 |