Art

J-GLOBAL ID：200902258000261423   Reference number：06A0349860

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

モナディックな半構成子の項書換え系の可到達性と関連する決定問題

Author (3)： MITSUHASHI Ichiro (Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN) ,  OYAMAGUCHI Michio (Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN) ,  YAMADA Toshiyuki (Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN)
Material： Information Processing Letters  (Inf Process Lett)
Volume： 98  Issue： 6  Page： 219-224  Publication year： Jun. 30, 2006 
JST Material Number： E0513A  ISSN： 0020-0190  Document type： Article
Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)

Terms in the title (3)： 項書換え系 ,  可到達性 ,  決定問題