مرکز منطقه ای اطلاع رساني علوم و فناوري - The unification problem for confluent right-ground term rewriting systems

Title of article :

The unification problem for confluent right-ground term rewriting systems

Author/Authors :

Michio Oyamaguchi، نويسنده , , Yoshikatsu Ohta، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

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 :