Massimo Marchiori Department of Pure and Applied Mathematics University of...  Home/Search
Context Related
| w3.org/People/Massimo/papers...rta95.ps w3c1.inria.fr/People/Mass...rta95.ps.gz From: w3.org/People/Massimo/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One of the key results in the field of modularity for Term Rewriting Systems is the modularity of completeness for left-linear TRSs established by Toyama, Klop and Barendregt in [TKB89]. The proof, however, is quite long and involved. In this paper, a new proof of this basic result is given which is both short and easy, employing the powerful technique of `pile and delete' already used with success in proving the modularity of UN . Moreover, the same proof is shown to extend the... (Update)
Context of citations to this paper: More
...results have been published recently, we cannot render a detailed account of those here. Instead, the reader is referred to Marchiori (1995), Ohlebusch (1993,1995a, b) and Gramlich (1994c) for recent results on disjoint (conditional) TRSs, to Dershowitz (1994) Gramlich...
.... on the modularity of termination (see e.g. 20, 13, 22, 24] for a panoramic) the best results so far obtained are the ones in [21] and [14]. We will come back to the result of [14] in the next subsection. In [21] Ohlebusch, generalizing a previous result of Gramlich for...
Cited by: More
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)
Similar documents (at the sentence level):
23.3%: On the Modularity of Normal Forms in Rewriting - Massimo Marchiori (1996) (Correct)
14.4%: Bubbles in Modularity - Massimo Marchiori Department (Correct)
Active bibliography (related documents): More All
0.0: Open Problems in Rewriting - Dershowitz, Jouannaud, Klop (1991) (Correct)
0.0: On Deterministic Conditional Rewriting - Marchiori (1997) (Correct)
0.0: Confluence of Orthogonal Higher-Order TRSs: Proof by Parallel.. - Yamada (1999) (Correct)
Similar documents based on text: More All
0.5: Modularity of Completeness Revisited - Massimo Marchiori (1995) (Correct)
0.4: Logic Programs as Term Rewriting Systems - Massimo Marchiori Department (1994) (Correct)
0.4: The Functional Side of Logic Programming - Marchiori (1995) (Correct)
Related documents from co-citation: More All
8: the modularity of termination of term rewriting systems - Ohlebusch - 1993
8: the Church-Rosser Property for the Direct Sum of Term Rewriting Systems (context) - Toyama - 1987
7: Rewrite systems - Dershowitz, Jouannaud - 1990
BibTeX entry: (Update)
M. Marchiori. Modularity of Completeness Revisited. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science , Springer Verlag, 1995. To appear. http://citeseer.ist.psu.edu/marchiori95modularity.html More
@inproceedings{ marchiori95modularity,
author = "Massimo Marchiori",
title = "Modularity of Completeness Revisited",
booktitle = "Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (Kaiserslautern, Germany)",
volume = "914",
publisher = "Springer-Verlag",
address = "Berlin",
pages = "2--10",
year = "1995",
url = "citeseer.ist.psu.edu/marchiori95modularity.html" }
Citations (may not include all citations):474 Term rewriting systems - Klop - 1992
2 Modularity of UN (context) - Marchiori
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.w3.org/People/Massimo/papers/): More
Unravelings and Ultra-properties - Marchiori (1996) (Correct)
Security of World Wide Web Search Engines - Massimo Marchiori (1997) (Correct)
On Termination of Constraint Logic Programs - Colussi, Marchiori, Marchiori (1995) (Correct)
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