Unification Theory

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Unification Theory

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


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