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
Article

Keywords

Artificial Intelligence Mathematical Logic Formal Language Algebraic Manipulation Unification Type 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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