Finite Model Theory and Its Applications [E-Book] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.
Grädel, Erich.
Kolaitis, Phokion G. / Libkin, Leonid. / Marx, Maarten. / Spencer, Joel. / Vardi, Moshe Y. / Venema, Yde. / Weinstein, Scott.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
online resource
9783540688044
Texts in Theoretical Computer Science an EATCS Series,
Full Text
Description not available.