Art

J-GLOBAL ID：201302234594036218   Reference number：11A0034202

The unification problem for confluent right-ground term rewriting systems

右定項の項書換えシステムの合流性に関する単一化問題

Author (2)： OYAMAGUCHI M ,  OHTA Y
Material： INFORMATION AND COMPUTATION
Volume： 183  Issue： 2  Page： 187-211  Publication year： 2003 
JST Material Number： O2848A  ISSN： 0890-5401  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (3)： 項書換えシステム ,  合流性 ,  単一化