Embedding boolean expressions into logic programming
Journal of Symbolic Computation
Efficient solution of linear diophantine equations
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
Unification in commutative theories
Journal of Symbolic Computation
Unification in permutative equational theories is undecidable
Journal of Symbolic Computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
On solving equations and disequations
Journal of the ACM (JACM)
Challenges for action theories
Challenges for action theories
Hi-index | 0.00 |