書誌事項
- タイトル別名
-
- ゴ モンダイ オ キテイ トウシキ シュウゴウ ノ ゴ モンダイ ニ キチャク カノウ ナ トウシキ シュウゴウ ノ クラス ニ ツイテ
- On class of equation sets whose word problems are reducible to those of ground equation sets
この論文をさがす
抄録
等式集合の語問題は,2つの項を与えたときに,等式集合のもとで2つの項が等しいかどうかを決定する問題である.本論文では線形,シャロー,変数非消去かつ非崩壊な規則からなる等式集合の語問題が,等式集合と2つの項から定められる基底項を各等式に代入する変換を用いることにより,変数を持たない等式集合の語問題へ帰着可能であることを示す.この結果より,変数を持たない等式集合の語問題判定アルゴリズムを用いて,目的の語問題を解くことが可能となる.
収録刊行物
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 111 (406), 45-49, 2012-01
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050282813781387008
-
- NII論文ID
- 110009482061
- 10031102346
- 110009480933
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/23552
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles
- KAKEN