Finite-Model Theory - A Personal Perspective (1993)
Cached
Download Links
- [www.almaden.ibm.com]
- [www.almaden.ibm.com]
- [www.math.cas.cz]
- DBLP
Other Repositories/Bibliography
by
Ronald Fagin
| Venue: | Theoretical Computer Science |
| Citations: | 17 - 0 self |
BibTeX
@ARTICLE{Fagin93finite-modeltheory,
author = {Ronald Fagin},
title = {Finite-Model Theory - A Personal Perspective},
journal = {Theoretical Computer Science},
year = {1993},
volume = {116},
pages = {3--31}
}
Years of Citing Articles
OpenURL
Abstract
Finite-model theory is a study of the logical properties of finite mathematical structures. This paper is a very personalized view of finite-model theory, where the author focuses on his own personal history, and results and problems of interest to him, especially those springing from work in his Ph.D. thesis. Among the topics discussed are:







