Consistency problem for one-variable patterns is polynomially decidable

• 資料種別: 文書・図像類
• タイトル: Consistency problem for one-variable patterns is polynomially decidable
• 著者・編者: 坂本, 比呂志
• 著者標目: 坂本, 比呂志
• 出版事項: Department of Informatics, Kyushu University
• 出版年月日等: 1998-05
• 出版年（W3CDTF）: 1998-05
• タイトル（掲載誌）: DOI Technical Report
• 巻号年月日等（掲載誌）: 150
• 掲載巻: 150
• 本文の言語コード: eng
• 対象利用者: 一般
• オンライン閲覧公開範囲: インターネット公開
• 関連情報: DOI Technical Report || 150; http://www.i.kyushu-u.ac.jp/research/report.html
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 九州大学 : 九州大学学術情報リポジトリ

• 要約等: The present paper deals with the decision problem for the class of one-variable patterns, called the consistency problem. Although this problem is obv...