Unification: A multidisciplinary survey (1989)
Cached
Download Links
- [www.isi.edu]
- [www.cs.wpi.edu]
- [www.mathe2.uni-bayreuth.de]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
Kevin Knight
| Venue: | ACM Computing Surveys |
| Citations: | 97 - 0 self |
BibTeX
@ARTICLE{Knight89unification:a,
author = {Kevin Knight},
title = {Unification: A multidisciplinary survey},
journal = {ACM Computing Surveys},
year = {1989},
volume = {21},
pages = {93--124}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed, these areas include theorem proving, logic programming, and natural language processing. Sections of the paper include examples that highlight particular uses
