Inflationary Fixed Points in Modal Logics
Váldodahkkit: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
Materiálatiipa: | Journal article |
Almmustuhtton: |
2004
|
Geahča maid
-
Inflationary Fixed Points in Modal Logics
Dahkki: Dawar, A, et al.
Almmustuhtton: (2001) -
Backtracking games and inflationary fixed points
Dahkki: Dawar, A, et al.
Almmustuhtton: (2004) -
Backtracking Games and Inflationary Fixed Points
Dahkki: Dawar, A, et al.
Almmustuhtton: (2006) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Dahkki: Kreutzer, S
Almmustuhtton: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
Dahkki: Kreutzer, S
Almmustuhtton: (2002)