Searching for "Infinite Terms and Infinite Rewritings." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Equational Reasoning and Term Rewriting Systems
- …Equational Reasoning and Term Rewriting Systems David A. Plaisted Contents 1 Syntax of equational…
- Cited by 43 (6 self) – Add To MetaCart
-
Equational Reasoning and Term Rewriting Systems
- …Equational Reasoning and Term Rewriting Systems David A. Plaisted Contents 1 Syntax of equational…
- Add To MetaCart
-
Transfinite Reductions in Orthogonal Term Rewriting Systems
- … We define the notion of transfinite term rewriting: rewriting in which terms may be infinitely large…
- Cited by 3 (1 self) – Add To MetaCart
-
Transfinite Reductions in Orthogonal Term Rewriting Systems
- … We define the notion of transfinite term rewriting: rewriting in which terms may be infinitely large…
- Add To MetaCart
-
Infinite rewriting: from syntax to semantics
- … if we allow infinite terms and infinite rewriting sequences, and what should those infinitary concepts…
- Cited by 2 (0 self) – Add To MetaCart
-
Redundancy Analyses in Term Rewriting (Extended Abstract)
- … definition of infinite term). An infinite rewrite sequence is an infinite sequence t 1 ; t 2…
- Add To MetaCart
Showing 1 through 6.
