Enno Ohlebusch. On the modularity of termination of term rewriting systems. Theoretical Computer Science, 136:333--360, 1994.  Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Simple Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002) (3 citations) (Correct)
Simple Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002) (3 citations) (Correct)
Automated Incremental Termination Proofs for Hierarchically.. - Urbain (3 citations) (Correct)
Combining Constraint Solving - Baader, Schulz (2001) (7 citations) (Correct)
Term Graph Rewriting - Plump (1998) (21 citations) (Correct)
Simple Termination of Rewrite Systems - Middeldorp, Zantema (1997) (13 citations) (Correct)
Some Characteristics of Strong Innermost Normalization - Rao (2000) (3 citations) (Correct)
Monads and Modular Term Rewriting - Lueth, Ghani (1997) (3 citations) (Correct)
Term Graph Rewriting - Plump (1998) (21 citations) (Correct)
Complete Monotonic Semantic Path Orderings - Borralleras, Ferreira, Rubio (2000) (13 citations) (Correct)
The Theory of Vaccines - Marchiori (1997) (2 citations) (Correct)
On Modularity of Termination and Confluence Properties of.. - Gramlich (1994) (3 citations) (Correct)
Modular Aspects of Rewrite-Based Specifications - Gramlich (1997) (2 citations) (Correct)
Unknown - Wst' Th International (2004) (Correct)
Categorical Term Rewriting: Monads and Modularity - Lüth (1997) (Correct)
WST'04 7th International Workshop on Termination - Codish, Middeldorp (2004) (Correct)
Modular Termination of Context-Sensitive Rewriting - Gramlich, Lucas (2002) (2 citations) (Correct)
Modular & Incremental Proofs of AC-Termination - Marche, Urbain (Correct)
Modular & Incremental Automated Termination Proofs - Urbain (2004) (Correct)
Modular & Incremental Automated Termination Proofs - Urbain (Correct)
Complete Monotonic Semantic Path Orderings - Borralleras, Ferreira, Rubio (2000) (13 citations) (Correct)
Modular & Incremental Proofs of AC-Termination - Urbain (2002) (Correct)
Innocuous Constructor-Sharing Combinations - Dershowitz (1997) (4 citations) (Correct)
Pushing the Frontiers of Combining Rewrite Systems Farther.. - Giesl, Ohlebusch (1998) (6 citations) Self-citation (Ohlebusch) (Correct)
Termination is not Modular for Confluent Variable-Preserving.. - Ohlebusch (1993) (2 citations) Self-citation (Ohlebusch) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC