Finite Model Theory and Its Applications
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
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