Unification Theory

From International Center for Computational Logic

Toggle side column

Unification Theory

Franz BaaderFranz Baader,  W. SnyderW. Snyder
Franz Baader, W. Snyder
Unification Theory
In J.A. Robinson and A. Voronkov, eds., Handbook of Automated Reasoning, volume I, 447-533. Elsevier Science Publishers, 2001
  • KurzfassungAbstract
    This is the final version of a chapter on unification theory to appear in the Handbook of Automated Reasoning. The chapter is not intended to give a complete coverage of all the results. Instead we try to cover a number of significant topics in more detail. This should give a feeling for unification research and its methodology, provide the most important references, and enable the reader to study recent research papers on the topic.
  • Bemerkung: Note: See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/ voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ BaaderSnyderHandbook00,
  author = {F. {Baader} and W. {Snyder}},
  booktitle = {Handbook of Automated Reasoning},
  editor = {J.A. {Robinson} and A. {Voronkov}},
  note = {See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/~voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).},
  pages = {447--533},
  publisher = {Elsevier Science Publishers},
  title = {Unification Theory},
  volume = {I},
  year = {2001},
}