Unification Theory
Aus International Center for Computational Logic
Unification Theory
Franz BaaderFranz Baader, J.H. SiekmannJ.H. Siekmann
![Unification Theory Unification Theory](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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},
}