Formal Correctness of a Quadratic Unification Algorithm

By Ruiz-Reina José-Luis   Martín-Mateos Francisco-Jesús   Alonso José-Antonio   Hidalgo María-José  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 67-92

Springer Publishing Company

Access to resources Recommend Favorite

The Qu-Prolog unification algorithm: formalisation and correctness

By Nickolas P.   Robinson P.J.  

Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. : 81-112

Elsevier

Access to resources Recommend Favorite

Fuzzy decision algorithm

By Antyufeev S.  

Programming and Computer Software, Vol. 32, Iss. 6, 2006-12 ,pp. : 317-323

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

By Baader F.   Schulz K.U.  

Journal of Symbolic Computation, Vol. 21, Iss. 2, 1996-02 ,pp. : 211-243

Academic Press

Access to resources Recommend Favorite

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

By Voronkov A.  

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 319-352

Elsevier

Access to resources Recommend Favorite