Descriptive Complexity Theories

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1):47-58 (2010)
  Copy   BIBTEX

Abstract

...

Categories

Keywords

.

Reprint years

ISBN(s)

04954548

DOI

10.1387/theoria.409

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Descriptive complexity theories.Joerg Flum - 2003 - Theoria 18 (1):47-58.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2005 - Springer.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Logics which capture complexity classes over the reals.Felipe Cucker & Klaus Meer - 1999 - Journal of Symbolic Logic 64 (1):363-390.
Complexity and sustainability.Jennifer Wells - 2013 - New York: Routledge.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.
Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
Synthetic analysis: How science combats complexity.Sunny Auyang - manuscript
Rudimentary Languages and Second‐Order Logic.Malika More & Frédéric Olive - 1997 - Mathematical Logic Quarterly 43 (3):419-426.
Educational philosophy and the challenge of complexity theory.Keith Morrison - 2008 - Educational Philosophy and Theory 40 (1):19–34.
Computational model theory: an overview.M. Vardi - 1998 - Logic Journal of the IGPL 6 (4):601-624.
Capturing Relativized Complexity Classes with Lindström Quantifiers.Janos Makowsky - 1995 - Vienna Circle Institute Yearbook 3:133-140.
Monotonicity and the Expressibility of NP Operators.Iain A. Stewart - 1994 - Mathematical Logic Quarterly 40 (1):132-140.
Comparing the power of games on graphs.Ronald Fagin - 1997 - Mathematical Logic Quarterly 43 (4):431-455.

Analytics

Added to PP
2017-01-11

Downloads
3 (#1,714,055)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references