LATPub70

PublikationenPublications

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

Toggle side column

Unification Theory

Franz BaaderFranz Baader,  J.H. SiekmannJ.H. Siekmann

Franz Baader, J.H. Siekmann
Unification Theory
In D.M. Gabbay and C.J. Hogger and J.A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 41-125. Oxford University Press, 1994

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@incollection{ BaaderSiekmann-Handbook-94,
  address = {Oxford, UK},
  author = {F. {Baader} and J.H. {Siekmann}},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming},
  editor = {D.M. {Gabbay} and C.J. {Hogger} and J.A. {Robinson}},
  pages = {41--125},
  publisher = {Oxford University Press},
  title = {Unification Theory},
  year = {1994},
}