TY - GEN

T1 - On composable properties of term rewriting systems

AU - Aoto, Takahito

AU - Toyama, Yoshihito

N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

PY - 1997

Y1 - 1997

N2 - A property of term rewriting system (TRS, for short) is said to be composable if it is preserved under unions. We present composable properties of TRSs on the base of modularity results for direct sums of TRSs. We propose a decomposition by a naive sort attachment, and show that modular properties for direct sums of TRSs are τ-composable for a naive sort attachment τ. Here, a decomposition of a TRS R is a pair (R 1,R 2) of (not necessary disjoint) subsets of R such that R = R 1 U R 2; and for a naive sort attachment T a property ø of TRSs is said to be τ-composable if for any TRS R such that τ is consistent withR, ø(R1) Λ φ(R2) implies φ(R) where (R 1, R 2) is the decomposition of R by τ.

AB - A property of term rewriting system (TRS, for short) is said to be composable if it is preserved under unions. We present composable properties of TRSs on the base of modularity results for direct sums of TRSs. We propose a decomposition by a naive sort attachment, and show that modular properties for direct sums of TRSs are τ-composable for a naive sort attachment τ. Here, a decomposition of a TRS R is a pair (R 1,R 2) of (not necessary disjoint) subsets of R such that R = R 1 U R 2; and for a naive sort attachment T a property ø of TRSs is said to be τ-composable if for any TRS R such that τ is consistent withR, ø(R1) Λ φ(R2) implies φ(R) where (R 1, R 2) is the decomposition of R by τ.

UR - http://www.scopus.com/inward/record.url?scp=84957655442&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957655442&partnerID=8YFLogxK

U2 - 10.1007/BFb0027006

DO - 10.1007/BFb0027006

M3 - Conference contribution

AN - SCOPUS:84957655442

SN - 3540634592

SN - 9783540634591

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 114

EP - 128

BT - Algebraic and Logic Programming - 6th International Joint Conference ALP 1997 ― HOA 1997, Proceedings

A2 - Meinke, Karl

A2 - Hanus, Michael

A2 - Heering, Jan

PB - Springer Verlag

T2 - 6th International Conference on Algebraic and Logic Programming, ALP 1997

Y2 - 3 September 1997 through 5 September 1997

ER -