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 Berlin Heidelberg, 2007. - digital. - Texts in Theoretical Computer Science an EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science an EATCS Series, .
9783540688044
10.1007/3-540-68804-8 doi
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.
QA8.9-QA10.3
005.131
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 Berlin Heidelberg, 2007. - digital. - Texts in Theoretical Computer Science an EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science an EATCS Series, .
9783540688044
10.1007/3-540-68804-8 doi
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.
QA8.9-QA10.3
005.131