Searching for "Unification in Boolean Rings." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Type Inference and Equational Theories
by A. J. Kennedy — 1996
… on the theory of Boolean rings. We prove that principal type schemes exist if (1) unification in the theory…
Cited by 7 (0 self) – Add To MetaCart

Constraint Logic Programming: A Bibliography
by Spiro Michaylov, R. Overbeek, Logic Programming Proceedings, Yap Hoc, Chuan Restriction, Koichi Furukawa, Joseph C. Tobias, Ii. Knowledge — 1992
…), Charleston, NC, January 1993. (to appear). [201] U. Martin and T. Nipkow. Unification in boolean rings…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB