Tobias Nipkow
Tobias Nipkow.
Unification in primal algebras, their powers and their varieties.
Journal of the ACM
, 37(4):742-776, October 1990.
Abstract, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database