On the Parameterised Intractability of Monadic Second−Order Logic

Slični predmeti

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