Switch to: Citations

References in:

Descriptive complexity theories

Theoria 18 (1):47-58 (2003)

Add references

You must login to add references.

Descriptive Complexity.Neil Immerman - 1998 - Springer Verlag.details This book is a relatively self-contained introduction to the subject, which includes the necessary background material, as well as numerous examples and exercises. Computational Complexity in Philosophy of Computing and Information Generalized Quantifiers in Philosophy of Language Model Theory in Logic and Philosophy of Logic $80.05 new $82.22 from Amazon $84.12 used View on Amazon.com Direct download (2 more) Export citation Bookmark 25 citations
Decision Problems of Finite Automata Design and Related Arithmetics.C. C. Elgot - 1969 - Journal of Symbolic Logic 34 (3):509-510.details Logic and Philosophy of Logic Direct download Export citation Bookmark 5 citations
Parameterized Complexity.R. G. Downey & M. R. Fellows - 2002 - Bulletin of Symbolic Logic 8 (4):528-529.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 24 citations
Weak Second-Order Arithmetic and Finite Automata.J. Richard Buchi - 1963 - Journal of Symbolic Logic 28 (1):100-102.details Logic and Philosophy of Logic Direct download Export citation Bookmark 10 citations
Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.details Areas of Mathematics, Misc in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 58 citations

1