文献

J-GLOBAL ID：200902258000261423   整理番号：06A0349860

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

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

著者 (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)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 98  号： 6  ページ： 219-224  発行年： 2006年06月30日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 項書換え系 ,  可到達性 ,  決定問題