Title of article
Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories,
Author/Authors
Christophe Ringeissen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
17
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