Context-sensitive rewriting strategies
Information and Computation
Transfinite Rewriting Semantics for Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Termination of (Canonical) Context-Sensitive Rewriting
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
On confluence and residuals in Cauchy convergent transfinite rewriting
Information Processing Letters
On modularity in infinitary term rewriting
Information and Computation
Proving termination of context-sensitive rewriting by transformation
Information and Computation
On modularity in infinitary term rewriting
Information and Computation
On the completeness of context-sensitive order-sorted specifications
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Infinitary Combinatory Reduction Systems
Information and Computation
On confluence of infinitary combinatory reduction systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Infinitary combinatory reduction systems
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
Infinitary rewriting: from syntax to semantics
Processes, Terms and Cycles
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
| Hi-index | 0.00 |