Grädel, Erich.

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

QA9.7 / G73 2007