Formal models of communicating systems : languages, automata, and monadic second-order logic /

Παρόμοια τεκμήρια

• On the Parameterised Intractability of Monadic Second−Order Logic
  ανά: Kreutzer, S
  Έκδοση: (2009)
• On the decidability of monadic second-order logic with arithmetic predicates
  ανά: Berthé, V, κ.ά.
  Έκδοση: (2024)
• Evolutionary multitasking : a computer science view of cognitive multitasking
  ανά: Ong, Yew-Soon, κ.ά.
  Έκδοση: (2021)
• Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
  ανά: Barany, V, κ.ά.
  Έκδοση: (2010)
• A second course in formal languages and automata theory /
  ανά: 262775 Shallit, Jeffrey
  Έκδοση: (2009)