The Joinability and Related Decision Problems for Semi-constructor TRSs

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada. The Joinability and Related Decision Problems for Semi-constructor TRSs. Inf. Media Technol., 1(2):796-808, 2006. [doi]

Abstract

Abstract is missing.