Unification in Commutative Theories

PublikationenPublications

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

Toggle side column

Unification in Commutative Theories

Franz BaaderFranz Baader

Franz Baader
Unification in Commutative Theories
J. Symbolic Computation, 8:479-497, 1989

• Details
• Bibtex

• Forschungsgruppe:Research Group: Automatentheorie

@article{ Baader-JSC-89,
  author = {F. {Baader}},
  journal = {J. Symbolic Computation},
  pages = {479--497},
  title = {Unification in Commutative Theories},
  volume = {8},
  year = {1989},
}