๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Confluent rewriting of bisimilar term graphs

โœ Scribed by Zena M. Ariola; Jan Willem Klop; Detlef Plump

Book ID
104445545
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
29 KB
Volume
7
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Bisimilarity in Term Graph Rewriting
Bisimilarity in Term Graph Rewriting
โœ Zena M. Ariola; Jan Willem Klop; Detlef Plump ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 431 KB
Transitive term graph rewriting
Transitive term graph rewriting
โœ R. Banach ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 553 KB
Essentials of Term Graph Rewriting
Essentials of Term Graph Rewriting
โœ Detlef Plump ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 288 KB
On Term-Graph Rewrite Strategies
On Term-Graph Rewrite Strategies
โœ Rachid Echahed ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 281 KB