Veröffentlichungen in 1987
Aus International Center for Computational Logic
Veröffentlichungen in 1987
Artikel in Fachzeitschriften
Franz Baader
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
Details
Bücher
Horst Reichel
Initial Computability Algebraic Specifications and Partial Algebras
Clarendon Press, 1987
Details