مرکز منطقه ای اطلاع رساني علوم و فناوري - Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories,

Title of article :

Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories,

Author/Authors :

Christophe Ringeissen، نويسنده ,

Issue Information :

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

Pages :

From page :

144

To page :

160

Journal title :

Information and Computation

Serial Year :

1996

Journal title :

Information and Computation

Record number :

261651

Link To Document :