Searching for "Unification in Primal Algebras." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

to Primal Algebras
by Christophe Ringeissen — 1992 — In Proceedings of the 1st International Conference on Logic Programming and Automated Reasoning, St. Petersburg (Russia), volume 624 of Lecture Notes in Artificial Intelligence
… some a priori nondeterministic steps of the algorithm. Unification in Primal Algebras has attracted…
Cited by 16 (3 self) – Add To MetaCart

A Constraint Solver in Finite Algebras and Its Combination With Unification Algorithms
by El Ene Kirchner, Christophe Ringeissen — 1992
… presentation. ffl A unification algorithm for primal algebras was proposed in [4]. We extend it and generalize…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB