Unification in Commutative Idempotent Monoids

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Unification in Commutative Idempotent Monoids

F. BaaderF. Baader,  W. BüttnerW. Büttner

F. Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ BaaderBuettner-TCS-88,
  author = {F. {Baader} and W. {B{\"u}ttner}},
  journal = {J. Theoretical Computer Science},
  pages = {345--352},
  title = {Unification in Commutative Idempotent Monoids},
  volume = {56},
  year = {1988},
}