Finite Model Theory And Its Applications
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | April 24, 2007 |
| Authors | Moshe Vardi |
| Erich Gradel | |
| Leonid Libkin | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2031882 |
About Finite Model Theory And Its Applications
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. . . .