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
DOI10.1016/J.COSREV.2008.01.001zbMATH Open1296.00009OpenAlexW3023819108MaRDI QIDQ458460FDOQ458460
Publication date: 7 October 2014
Published in: Computer Science Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cosrev.2008.01.001
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
Cited In (1)
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)