On the Parameterised Intractability of Monadic Second−Order Logic

Míreanna comhchosúla

• On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic
  de réir: Kreutzer, S, et al.
  Foilsithe / Cruthaithe: (2010)
• On the decidability of monadic second-order logic with arithmetic predicates
  de réir: Berthé, V, et al.
  Foilsithe / Cruthaithe: (2024)
• Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
  de réir: Barany, V, et al.
  Foilsithe / Cruthaithe: (2010)
• Formal models of communicating systems : languages, automata, and monadic second-order logic /
  de réir: 428469 Bollig, Benedikt
  Foilsithe / Cruthaithe: (2006)
• The monadic second order theory of all countable ordinals /
  de réir: 359235 Buchi, J. Richard, et al.
  Foilsithe / Cruthaithe: (1984)