The Theory of Idempotent Semigroups is of Unification Type Zero

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

The Theory of Idempotent Semigroups is of Unification Type Zero

Franz BaaderFranz Baader

Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}