Journal of Automated Reasoning

, Volume 2, Issue 3, pp 283–286 | Cite as

The theory of idempotent semigroups is of unification type zero

  • Franz Baader


Artificial Intelligence Mathematical Logic Formal Language Algebraic Manipulation Unification Type 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Baader, F. (1985)Die S-Varietät DS und einige Untervarietäten, Arbeitsberichte des IMMD, Erlangen.Google Scholar
  2. [2]
    Baader, F.Unifikation und Wortprobleme in Varietäten idempotenter Halbgruppen, in preparation.Google Scholar
  3. [3]
    Fages, F. and Huet, G. (1983) Complete sets of unifiers and matchers in equational theories,Lecture Notes in Comp. Sci. 159.Google Scholar
  4. [4]
    Howie, J. M. (1976)An Introduction to Semigroup Theory, Academic Press.Google Scholar
  5. [5]
    Kimura, N. (1958) The structure of idempotent semigroups (I),Pacific Journal of Math.Google Scholar
  6. [6]
    McLean, D. (1954) Idempotent semigroups,Am. Math. Mon. 61.Google Scholar
  7. [7]
    Siekmann, J. H. (1984) Universal unification,Lecture Notes in Comp. Sci. 170.Google Scholar
  8. [8]
    Siekmann, J. H. and Szabó, P. (1982) A noetherian and confluent rewrite system for idempotent semigroups,Semigroup Forum 25.Google Scholar

Copyright information

© D. Reidel Publishing Company 1986

Authors and Affiliations

  • Franz Baader
    • 1
  1. 1.Institut für Mathematische Maschinen und DatenverarbeitungErlangenWest Germany

Personalised recommendations