Book Review “Finite Model Theory and Its Applications”,
Cached
Download Links
by Unknown Authors
BibTeX
@MISC{_bookreview,
author = {},
title = {Book Review “Finite Model Theory and Its Applications”,},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 431 | Finite Model Theory - Ebbinghaus, Flum - 1999 |
| 232 | Descriptive complexity - Immerman - 1998 |
| 130 | Elements of Finite Model Theory - Libkin - 2010 |
| 66 | editor. The Handbook of Proof Theory - Buss - 1998 |
| 28 | Leeuwen (editor), Handbook of Theoretical Computer Science, volume - van - 1990 |
