Author： Baader F. Schulz K.U.
Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.21, Iss.2, 1996-02, pp. : 211-243
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
Access to resources
Recommend
Equational theories of tropical semirings
By Aceto L. Esik Z. Ingolfsdottir A.
Theoretical Computer Science, Vol. 298, Iss. 3, 2003-04 ,pp. :
A decision algorithm for distributive unification
Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. :
Fast matching in combinations of regular equational theories
By Eker S.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :