Backtracking Games and Inflationary Fixed Points
Hauptverfasser: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
Format: | Journal article |
Veröffentlicht: |
2006
|
Ähnliche Einträge
-
Backtracking games and inflationary fixed points
von: Dawar, A, et al.
Veröffentlicht: (2004) -
Inflationary Fixed Points in Modal Logics
von: Dawar, A, et al.
Veröffentlicht: (2001) -
Inflationary Fixed Points in Modal Logics
von: Dawar, A, et al.
Veröffentlicht: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
von: Kreutzer, S
Veröffentlicht: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
von: Kreutzer, S
Veröffentlicht: (2002)