1992
DOI: 10.1016/0304-3975(92)90015-8
|View full text |Cite
|
Sign up to set email alerts
|

Modularity of simple termination of term rewriting systems with shared constructors

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

1
35
0

Year Published

1993
1993
2002
2002

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 54 publications
(36 citation statements)
references
References 6 publications
1
35
0
Order By: Relevance
“…Neither the result of Kurihara and Ohuchi [9] (because !l{.1 and !l{.2 share the non-constructor symbol +) nor the result of Dershowitz [1] (because !l{.1 and !l{. 2 are not right-linear) applies.…”
Section: \1 = { F(o Lx)-7f(x X X)} { G(x Y) -7 Xmentioning
confidence: 96%
See 2 more Smart Citations
“…Neither the result of Kurihara and Ohuchi [9] (because !l{.1 and !l{.2 share the non-constructor symbol +) nor the result of Dershowitz [1] (because !l{.1 and !l{. 2 are not right-linear) applies.…”
Section: \1 = { F(o Lx)-7f(x X X)} { G(x Y) -7 Xmentioning
confidence: 96%
“…Middeldorp [12,13,14) extended the above results to conditional term rewriting systems. Kurihara and Ohuchi [8] showed that strong normalization is a modular property of tenn rewriting systems whose strong normalization can be shown by a simplification ordering. They extended this result in [9] to term rewriting systems which share constructors.…”
Section: \1 = { F(o Lx)-7f(x X X)} { G(x Y) -7 Xmentioning
confidence: 99%
See 1 more Smart Citation
“…4 Further relevant works on modularity not mentioned elsewhere include (this list is highly incomplete): [22,23,24], [20], [21], [34,35,36], [42], [46] 5 Typically, the inverse implication is trivial.…”
Section: Modular Proofs Of Termination Of Csr By Transformationmentioning
confidence: 99%
“…Rewsub is a well-founded ordering since χ / / is simply terminating [15], i.e., its termination is proved by a simplification ordering. Rewsub is actually the smallest simplification ordering that contains χ / / .…”
Section: χ-Terms Rules and Examplesmentioning
confidence: 99%