Search w/in this Reviewer for Reviewers All Reviews
	Snyder, Wayne Boston University Boston, Massachusetts         Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 review       Unification in primal algebras, their powers and their varieties Nipkow T. (ed) Journal of the ACM 31(4): 742-776, 1984.  Type: Article Unification, a fundamental operation in computer science and mathematics, has been studied in a wide variety of settings in recent years. This paper makes a significant contribution to unification theory by studying a particular kind o... Dec 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy