Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications
From MaRDI portal
(Redirected from Publication:458460)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) External book reviews (00A17) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)
Cites work
- scientific article; zbMATH DE number 47903 (Why is no real title available?)
- scientific article; zbMATH DE number 1302020 (Why is no real title available?)
- scientific article; zbMATH DE number 803291 (Why is no real title available?)
- scientific article; zbMATH DE number 830463 (Why is no real title available?)
- Elements of finite model theory.
- Handbook of proof theory
- Model theory
This page was built for publication: Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q458460)