WEKO3
アイテム
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms
http://hdl.handle.net/2237/21172
http://hdl.handle.net/2237/2117217b2ba9a-100b-498b-91b6-50fc55ae6529
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
1311_5567.pdf (218.5 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-30 | |||||
| タイトル | ||||||
| タイトル | On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms | |||||
| 言語 | en | |||||
| 著者 |
Nishida, Naoki
× Nishida, Naoki× Sakai, Masahiko× Nakano, Yasuhiro |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrained terms. In addition, the sufficient complete property of constrained term rewriting systems enables us to relax the side conditions of some inference rules in the proving method. These two properties can be reduced to intersection emptiness problems related to sets of ground instances for constrained terms. This paper proposes a method to construct deterministic, complete, and constraint-complete constrained tree automata recognizing ground instances of constrained terms. | |||||
| 言語 | en | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers (Hanoi, Vietnam, Oct 19, 2013) | |||||
| 出版者 | ||||||
| 出版者 | Electronic Proceedings in Theoretical Computer Science (EPTCS) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| DOI | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | https://doi.org/10.4204/EPTCS.134.1 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | EISSN | |||||
| 収録物識別子 | 2075-2180 | |||||
| 書誌情報 |
en : EPTCS 巻 134, p. 1-10, 発行日 2013-11 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21172 | |||||
| 識別子タイプ | HDL | |||||
