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