A theory of using history for equational systems with applications
Journal of the ACM (JACM)
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Theoretical Computer Science
Generating priority rewrite systems for OSOS process languages
Information and Computation
Semantics and expressiveness of ordered SOS
Information and Computation
Termination of Priority Rewriting
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Data Linkage Dynamics with Shedding
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Generalized innermost rewriting
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.00 |