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
An Asynchronous, Distributed Implementation of Mobile Ambients
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Control reduction theories: The benefit of structural substitution
Journal of Functional Programming
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Confluence by Decreasing Diagrams
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Proving Confluence of Term Rewriting Systems Automatically
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Decreasing Diagrams and Relative Termination
Journal of Automated Reasoning
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Generalizing newman's lemma for left-linear rewrite systems
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Decreasing diagrams and relative termination
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Modularity in term rewriting revisited
Theoretical Computer Science
From diagrammatic confluence to modularity
Theoretical Computer Science
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Hi-index | 5.23 |