Inflationary Fixed Points in Modal Logics
Príomhchruthaitheoirí: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
Formáid: | Journal article |
Foilsithe / Cruthaithe: |
2004
|
Míreanna comhchosúla
-
Inflationary Fixed Points in Modal Logics
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2001) -
Backtracking games and inflationary fixed points
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2004) -
Backtracking Games and Inflationary Fixed Points
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2006) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (2002)