Showing papers by "Franz Baader published in 1987"
TL;DR: This article classified all varieties of idempotent semigroups with respect to the unification types of their defining sets of identities and showed that all of them are of unification type zero.
Abstract: We have classified all varieties of idempotent semigroups with respect to the unification types of their defining sets of identities. With the exception of eight finitary unifying theories these are all of unification type zero. This yields countably many examples of theories of that type which are more “natural” than the first example constructed by Fages and Huet [9, 10].
16 citations