Bisimilarity in term graph rewriting

Authors:
Zena M. Ariola;Jan Willem Klop;Detlef Plump
Affiliations:
Univ. of Oregon, Eugene;Vrije Univ., The Netherlands/ and Katholieke Univ. Nijmegen, Nijmegen, The Netherlands;Univ. Bremen, Bremen, Germany
Venue:
Information and Computation - Special issue on EXPRESS 1997
Year:
2000

Rewriting term-graphs with priority

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Term Graphs for Computing Derivatives in Imperative Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
Non strict confluent rewrite systems for data-structures with pointers

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Skew and ω-skew confluence and abstract Böhm semantics

Processes, Terms and Cycles

Hi-index	0.00