Searching for "Rational Term Rewriting." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Rational Term Rewriting
- …Rational Term Rewriting ? A. Corradini 1 and F. Gadducci 2 1 Universit`a di Pisa, Dipartimento…
- Cited by 14 (8 self) – Add To MetaCart
-
On the Adequacy of Graph Rewriting for Simulating Term Rewriting
- … cyclic graph rewriting and a restricted form of infinitary term rewriting, called rational term rewriting…
- Cited by 5 (1 self) – Add To MetaCart
-
Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description
- … using suitable adjunctions, relating e.g. term graph rewriting to rational term rewriting (as introduced…
- Cited by 8 (5 self) – Add To MetaCart
-
Relational Treatment of Term Graphs With Bound Variables
- …, the topic has become the subject of closer investigation in the context of rational term rewriting systems…
- Cited by 9 (6 self) – Add To MetaCart
-
Relational Treatment of Term Graphs With Bound Variables
- …, the topic has become the subject of closer investigation in the context of rational term rewriting systems…
- Add To MetaCart
Showing 1 through 5.
