Unification Theory

F. BaaderF. Baader, W. SnyderW. Snyder

Datei:BaaderSnyderHandbook.ps.gz

Download

F. 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

Details
Bibtex

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