Publications in 1987
From International Center for Computational Logic
Publications in 1987
Journal Articles
Franz Baader
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
Details
Books
Horst Reichel
Initial Computability Algebraic Specifications and Partial Algebras
Clarendon Press, 1987
Details