Many Facets of Complexity in Logic

DOI10.1007/978-3-540-69407-6_35zbMath1142.03348OpenAlexW1572916600MaRDI QIDQ3507446

Antonina Kolokolova

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_35

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20) Descriptive complexity and finite models (68Q19)

This page was built for publication: Many Facets of Complexity in Logic