Searching for "Unification in Primal Algebras." – sorted by Relevance.
-
to Primal Algebras
- 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
- 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

