Author Search Results :: UTM Library Massive Scholar Tracking

1

Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions by Grädel, E, Kreutzer, S

Published 2003

Conference item
2

Descriptive Complexity Theory for Constraint Databases by Grädel, E, Kreutzer, S

Published 1999

Conference item
3

Backtracking Games and Inflationary Fixed Points by Dawar, A, Grädel, E, Kreutzer, S

Published 2006

Journal article
4

Once upon a time in the west – Determinacy‚ definability and complexity of path games by Berwanger, D, Grädel, E, Kreutzer, S

Published 2003

Conference item
5

Inflationary Fixed Points in Modal Logics by Dawar, A, Grädel, E, Kreutzer, S

Published 2004

Journal article
6

Inflationary Fixed Points in Modal Logics by Dawar, A, Grädel, E, Kreutzer, S

Published 2001

Conference item
7

Backtracking games and inflationary fixed points by Dawar, A, Grädel, E, Kreutzer, S

Published 2004

Conference item
8

Datalog LITE: a deductive query language with linear time model checking by Gottlob, G, Grädel, E, Veith, H

Published 2002

Journal article