Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.22, Iss.3, 1996-03, pp. : 315-344

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Unification Modulo ACUI Plus Distributivity Axioms

By Anantharaman Siva Narendran Paliath Rusinowitch Michael

Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. : 1-28

Springer Publishing Company

Access to resources Recommend Favorite

Linear one-sided stability of MAT for weakly injective 3D domain

By Choi S.W. Seidel H.-P.

Computer-Aided Design, Vol. 36, Iss. 2, 2004-02 ,pp. : 95-109

Elsevier

Access to resources Recommend Favorite

A Parallel Ring Ordering Algorithm for Efficient One-Sided Jacobi SVD Computations

By Zhou B.B. Brent R.P.

Journal of Parallel and Distributed Computing, Vol. 42, Iss. 1, 1997-04 ,pp. : 1-10

Academic Press

Access to resources Recommend Favorite

Combinatorial constructions associated to the dynamics of one-sided cellular automata

By Dartnell P. Maass A. Schwartz F.

Theoretical Computer Science, Vol. 304, Iss. 1, 2003-07 ,pp. : 485-497

Elsevier

Access to resources Recommend Favorite

Maximizing Agreements with One-Sided Error with Applications to Heuristic Learning

By Bshouty Nader

Machine Learning, Vol. 59, Iss. 1-2, 2005-05 ,pp. : 99-123

Springer Publishing Company

Access to resources Recommend Favorite