Model-checking games for fixpoint logics with partial order models

Míreanna comhchosúla

• Model-checking games for fixpoint logics with partial order models
  de réir: Gutierrez, J, et al.
  Foilsithe / Cruthaithe: (2010)
• Model-checking games for fixpoint logics with partial order models
  de réir: Gutierrez, J, et al.
  Foilsithe / Cruthaithe: (2009)
• The Complexity of Model Checking Higher-Order Fixpoint Logic
  de réir: Roland Axelsson, et al.
  Foilsithe / Cruthaithe: (2007-06-01)
• On independence-friendly fixpoint logics
  de réir: J. C. Bradfield
  Foilsithe / Cruthaithe: (2004-10-01)
• The Complexity of Independence−Friendly Fixpoint Logic
  de réir: Bradfield, J, et al.
  Foilsithe / Cruthaithe: (2007)