Simple termination of context-sensitive rewriting
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Modular termination of context-sensitive rewriting
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Modular termination proofs for rewriting using dependency pairs
Journal of Symbolic Computation
On proving C ε-termination of rewriting by size-change termination
Information Processing Letters
Elimination Transformations for Associative---Commutative Rewriting Systems
Journal of Automated Reasoning
On proving C E-termination of rewriting by size-change termination
Information Processing Letters
Quasi-interpretation synthesis by decomposition an application to higher-order programs
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Processes, Terms and Cycles
Modular access control via strategic rewriting
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Determinization of conditional term rewriting systems
Theoretical Computer Science
Abstract Relations Between Restricted Termination And Confluence Properties Of Rewrite Systems
Fundamenta Informaticae
| Hi-index | 5.23 |