This is a survey on the relationship between logical definability and computational complexity on finite structures. Particular emphasis is given to game-based evaluation algorithms for various logical formalisms and to logics capturing complexity classes.
CITATION STYLE
Grädel, E. (2007). Finite Model Theory and Descriptive Complexity. In Finite Model Theory and Its Applications (pp. 125–230). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-68804-8_3
Mendeley helps you to discover research relevant for your work.