Confluence properties of weak and strong calculi of explicit substitutions
Journal of the ACM (JACM)
Normalisation for higher-order calculi with explicit substitutions
Theoretical Computer Science - Foundations of software science and computation structures
A normalisation result for higher-order calculi with explicit substitutions
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Automation of recursive path ordering for infinite labelled rewrite systems
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Axiomatic rewriting theory i: a diagrammatic standardization theorem
Processes, Terms and Cycles
Termination Of Term Rewriting By Semantic Labelling
Fundamenta Informaticae
Hi-index | 0.00 |