Unification in Boolean rings

Authors:
U Martin;T Nipkow
Affiliations:
-;-
Venue:
Proc. of the 8th international conference on Automated deduction
Year:
1986

Citing 0
Cited 6

Embedding boolean expressions into logic programming

Journal of Symbolic Computation
Boolean unification - The story so far

Journal of Symbolic Computation
On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories

Journal of Symbolic Computation
Unification in Boolean Rings and Abelian Groups

Journal of Symbolic Computation
Unification in primal algebras, their powers and their varieties

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract