Art

J-GLOBAL ID：201002211652986238   Reference number：10A1245897

The Unification Problem for Confluent Semi-Constructor TRSs

合流する半構成子TRS(項書換え系)のための単一化問題

Author (3)： MITSUHASHI Ichiro (Mie Univ., Tsu-shi, JPN) ,  OYAMAGUCHI Michio (Mie Univ., Tsu-shi, JPN) ,  MATSUURA Kunihiro (Mie Univ., Tsu-shi, JPN)
Material： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Inf Syst (Inst Electron Inf Commun Eng))
Volume： E93-D  Issue： 11  Page： 2962-2978  Publication year： Nov. 01, 2010 
JST Material Number： L1371A  ISSN： 0916-8532  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *term rewriting system ,  *unification ,  sequence ,  data writing ,  variable ,  rewriting rule ,  decision problem ,  modulor

JST classification (1)： Control systems  (JC02030K)

Reference (16)：

• BAADER, F. Term Rewriting and All That. 1998
• COMON, H. Syntacticness, cycle-syntacticness and shallow theories. Inf. Comput. 1994, 111, 1, 154-191
• DERSHOWITZ, N. Rewrite systems. Handbook of Theoretical Computer Science. 1990, B, 243-320
• GOMI, H. On the church-rosser property of root-E-overlapping and strongly depth-preserving term rewriting systems. Trans. IPS Japan. 1998, 39, 4, 992-1005
• HULLOT, J.-M. Canonical forms and unification. Proc. 5th Conf. on Automated Deduction, 1980. 1980, 318-334

Terms in the title (3)： 合流 ,  項書換え系 ,  単一化