The Theory of Idempotent Semigroups is of Unification Type Zero

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The Theory of Idempotent Semigroups is of Unification Type Zero

Franz BaaderFranz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero


Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
@article{ Baader-JAR-86,
  author = {F. {Baader}},
  journal = {J. Automated Reasoning},
  pages = {283--286},
  title = {The Theory of Idempotent Semigroups is of Unification Type Zero},
  volume = {2},
  year = {1986},
}