Inflationary Fixed Points in Modal Logics
Main Authors: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
格式: | Journal article |
出版: |
2004
|
相似書籍
-
Inflationary Fixed Points in Modal Logics
由: Dawar, A, et al.
出版: (2001) -
Backtracking games and inflationary fixed points
由: Dawar, A, et al.
出版: (2004) -
Backtracking Games and Inflationary Fixed Points
由: Dawar, A, et al.
出版: (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)