文献
J-GLOBAL ID：200902258000261423
整理番号：06A0349860 モナディックな半構成子の項書換え系の可到達性と関連する決定問題
The reachability and related decision problems for monadic and semi-constructor TRSs
- 出版者サイト 複写サービスで全文入手
- 高度な検索・分析はJDreamⅢで
MITSUHASHI Ichiro
MITSUHASHI Ichiro について
(Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN)
, Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN について
OYAMAGUCHI Michio
OYAMAGUCHI Michio について
(Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN)
, Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN について
YAMADA Toshiyuki
YAMADA Toshiyuki について
(Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN)
Fac. of Engineering, Mie Univ., 1577 Kurimamachiya-cho, Tsu-shi 514-0102, JPN について
資料名：
Information Processing Letters
(Information Processing Letters)
Information Processing Letters について
巻： 98 号： 6 ページ： 219-224 発行年： 2006年06月30日
JST資料番号： E0513A ISSN： 0020-0190 資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD) 言語： 英語 (EN)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
項書換え系
, 項書換え系 について
可到達性
, 可到達性 について
決定問題
決定問題 について
前のページに戻る
