Finite Model Theory and Its Applications

ανά Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Έκδοση 2007

Finite model theory and its applications /

Έκδοση 2007

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

Έκδοση 2009

The classical decision problem /

ανά Boerger, Egon, 1946-
Έκδοση 1997

Automata, Logics, and Infinite Games A Guide to Current Research /

Έκδοση 2002