مرکز منطقه ای اطلاع رساني علوم و فناوري - Unification for infinite sets of equations between finite terms

Title of article :

Unification for infinite sets of equations between finite terms

Author/Authors :

Fokkink، Wan 1965- نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1997

Pages :

From page :

183

To page :

188

Keywords :

programming languages , Logic programming , Most general unifier , Infinite sets

Journal title :

Information Processing Letters

Serial Year :

1997

Journal title :

Information Processing Letters

Record number :

128684

Link To Document :