Title of article
The unification problem for confluent right-ground term rewriting systems
Author/Authors
Michio Oyamaguchi، نويسنده , , Yoshikatsu Ohta، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
25
From page
187
To page
211
Keywords
unification , Right-ground , Term rewriting systems , Decidability , confluence
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262143
Link To Document