The reachability and related decision problems for monadic and semi-constructor TRSs

Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada. The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett., 98(6):219-224, 2006. [doi]

Abstract

Abstract is missing.