Inflationary Fixed Points in Modal Logics
Κύριοι συγγραφείς: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
Μορφή: | Journal article |
Έκδοση: |
2004
|
Παρόμοια τεκμήρια
-
Inflationary Fixed Points in Modal Logics
ανά: Dawar, A, κ.ά.
Έκδοση: (2001) -
Backtracking games and inflationary fixed points
ανά: Dawar, A, κ.ά.
Έκδοση: (2004) -
Backtracking Games and Inflationary Fixed Points
ανά: Dawar, A, κ.ά.
Έκδοση: (2006) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
ανά: Kreutzer, S
Έκδοση: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
ανά: Kreutzer, S
Έκδοση: (2002)