Finite Model Theory and Its Applications [electronic resource] /
by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Texts in Theoretical Computer Science an EATCS Series, 1862-4499 .
9783540688044
Computer science Software engineering Logic design Database management Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Database Management Mathematical Logic and Foundations