Termination of the Direct Sum of Rpo-Terminating Term Rewriting Systems

Masahito KURIHARA; Ikuo KAJI

Copy

Masahito KURIHARA, Ikuo KAJI, "Termination of the Direct Sum of Rpo-Terminating Term Rewriting Systems" in IEICE TRANSACTIONS on transactions, vol. E71-E, no. 10, pp. 975-977, October 1988, doi: .
Abstract: A term rewriting system is said to be rpoterminating if it's termination is proved with the recursive path ordering method. The direct sum R₁M₂ of term rewriting systems R₁ and R₂ is rpo-terminating iff both R₁ and R₂ are so.
URL: https://globals.ieice.org/en_transactions/transactions/10.1587/e71-e_10_975/_p

Copy

@ARTICLE{e71-e_10_975,
author={Masahito KURIHARA, Ikuo KAJI, },
journal={IEICE TRANSACTIONS on transactions},
title={Termination of the Direct Sum of Rpo-Terminating Term Rewriting Systems},
year={1988},
volume={E71-E},
number={10},
pages={975-977},
abstract={A term rewriting system is said to be rpoterminating if it's termination is proved with the recursive path ordering method. The direct sum R₁M₂ of term rewriting systems R₁ and R₂ is rpo-terminating iff both R₁ and R₂ are so.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Termination of the Direct Sum of Rpo-Terminating Term Rewriting Systems
T2 - IEICE TRANSACTIONS on transactions
SP - 975
EP - 977
AU - Masahito KURIHARA
AU - Ikuo KAJI
PY - 1988
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E71-E
IS - 10
JA - IEICE TRANSACTIONS on transactions
Y1 - October 1988
AB - A term rewriting system is said to be rpoterminating if it's termination is proved with the recursive path ordering method. The direct sum R₁M₂ of term rewriting systems R₁ and R₂ is rpo-terminating iff both R₁ and R₂ are so.
ER -