Context-sensitive rewriting strategies
Information and Computation
On the Modularity of Deciding Call-by-Need
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Approximating Dependency Graphs Using Tree Automata Techniques
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Strong and NV-sequentiality of constructor systems
Information Processing Letters
Decidable call-by-need computations in term rewriting
Information and Computation
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidable call-by-need computations in term rewriting
Information and Computation
Reduction strategies for left-linear term rewriting systems
Processes, Terms and Cycles
| Hi-index | 0.00 |