Unification in Primal Algebras
Authors:
Tobias Nipkow
Affiliations:
-
Venue:
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Year:
1988
Citing
0
Cited
1
Boolean unification - The story so far
Journal of Symbolic Computation
Quantified Score
Hi-index
0.00
Visualization
Abstract