3 research outputs found
Toward logic tailored for computational complexity
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Towards a theory of recursive structures
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Unifying Themes in Finite Model Theory
- Author
- A. Blass
- A. Chandra
- A. Dawar
- A. Tarski
- A.J. Wilkie
- E. Grädel
- E. Grädel
- E. Grädel
- E. Rosen
- J. Baldwin
- J. Baldwin
- J. Barwise
- J.R. BĂĽchi
- J.W. Addison
- L. Hella
- M. Ajtai
- M. Benedikt
- M. Grohe
- M. Hennessy
- M. Otto
- M. Otto
- N. Immerman
- N. Immerman
- P. Erdös
- P. Hell
- Ph. G. Kolaitis
- R. Fagin
- R.E. Ladner
- S. Abiteboul
- S. Grumbach
- S. Kreutzer
- S. Shelah
- T. Feder
- V. Arvind
- W. Tait
- Y. Glebskii
- Y. Gurevich
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2007
- Field of study