Search CORE

1 research outputs found

On the Expressive Power of Logics on Finite Models

Author: A. Blass
A. Chandra
A. Chandra
A. Chandra
A. Dawar
A. Dawar
A. Ehrenfeucht
A. Tarski
B. Knaster
H. Gaifman
H.B. Enderton
I. Barland
J. Barwise
J. Hartmanis
L.J. Stockmeyer
M. Ajtai
M. Ajtai
M. Grohe
M. Grohe
M. McArthur
M.de Rougemont
N. Immerman
N. Immerman
N. Robertson
N. Robertson
Ph.G. Kolaitis
Ph.G. Kolaitis
Ph.G. Kolaitis
R. Fagin
R. Fagin
R. Fagin
R. Fraiss’e
R. Greenlaw
R.E. Ladner
S. Abiteboul
S. Arora
S. Fortune
S. Shelah
S.A. Cook
S.C. Kleene
Y. Gurevich
Y.V. Glebskii
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

core

core