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

Unification, Rewriting, and Narrowing on Term Graphs

โœ Scribed by Annegret Habel; Detlef Plump


Book ID
104445325
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
462 KB
Volume
2
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On Term-Graph Rewrite Strategies
โœ Rachid Echahed ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 281 KB
Narrowing-based simulation of term rewri
โœ Naoki Nishida; Masahiko Sakai; Toshiki Sakabe ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 251 KB

Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infinitely branching and they are not terminating. To solve these problems, this paper s