On the Parameterised Intractability of Monadic Second−Order Logic

פריטים דומים

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