Model-checking games for fixpoint logics with partial order models

類似資料

• Model-checking games for fixpoint logics with partial order models
  著者:: Gutierrez, J, 等
  出版事項: (2010)
• Model-checking games for fixpoint logics with partial order models
  著者:: Gutierrez, J, 等
  出版事項: (2009)
• The Complexity of Model Checking Higher-Order Fixpoint Logic
  著者:: Roland Axelsson, 等
  出版事項: (2007-06-01)
• On independence-friendly fixpoint logics
  著者:: J. C. Bradfield
  出版事項: (2004-10-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  著者:: Bradfield, J, 等
  出版事項: (2007)