Art

J-GLOBAL ID：201302256533060454   Reference number：13A0494300

Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms

制約付き項のインスタンスを受理する制約付き木オートマトンの構成法

Author (5)： NAKANO YASUHIRO (名古屋大 大学院情報科学研究科) ,  NISHIDA NAOKI (名古屋大 大学院情報科学研究科) ,  SAKAI MASAHIKO (名古屋大 大学院情報科学研究科) ,  SAKABE TOSHIKI (名古屋大 大学院情報科学研究科) ,  KUSAKARI KEIICHIRO (名古屋大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 112  Issue： 373(SS2012 46-58)  Page： 7-12  Publication year： Jan. 03, 2013 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *tree automaton ,  constraint condition(restriction) ,  *term rewriting system ,  theorem proving ,  completeness ,  rule ,  mathematical property ,  basis ,  reachability ,  discriminant analysis ,  accuracy ,  improvement of efficiency
Semi thesaurus term： *制約付き木オートマトン ,  inference rule

JST classification (2)： Automaton theory  (JB04000O) ,  Theory of computation  (JB02000A)

Terms in the title (3)： 制約 ,  インスタンス ,  木オートマトン