Inflationary Fixed Points in Modal Logics
Główni autorzy: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
Format: | Journal article |
Wydane: |
2004
|
Podobne zapisy
-
Inflationary Fixed Points in Modal Logics
od: Dawar, A, i wsp.
Wydane: (2001) -
Backtracking games and inflationary fixed points
od: Dawar, A, i wsp.
Wydane: (2004) -
Backtracking Games and Inflationary Fixed Points
od: Dawar, A, i wsp.
Wydane: (2006) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
od: Kreutzer, S
Wydane: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
od: Kreutzer, S
Wydane: (2002)