Unification Modulo ACUI Plus Distributivity Axioms

Author： Anantharaman Siva Narendran Paliath Rusinowitch Michael

ISSN： 0168-7433

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

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

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

By Schmidt-Schaus M.

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

Academic Press

Access to resources Recommend Favorite

General E-unification with Eager Variable Elimination and a Nice Cycle Rule

By Morawska Barbara

Journal of Automated Reasoning, Vol. 39, Iss. 1, 2007-07 ,pp. : 77-106

Springer Publishing Company

Access to resources Recommend Favorite

Distributivity and Zadeh's operators

By Tong Xiaojun Li Hongxing Chen Mianyun Lin Yi

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 35, Iss. 10, 2006-12 ,pp. : 1628-1635

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Secret Garden

By Rieser Martin Hugill Andrew

Digital Creativity, Vol. 24, Iss. 3, 2013-09 ,pp. : 264-267

Routledge Ltd

Access to resources Recommend Favorite

On the law S(S(x, y), T(x, y)) = S(x, y) of fuzzy logic

By Alsina Claudi Trillas Enric

Fuzzy Optimization and Decision Making, Vol. 6, Iss. 2, 2007-06 ,pp. : 99-107

Springer Publishing Company

Access to resources Recommend Favorite