Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems

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

• Automata−based presentations of infinite structures
  ανά: Barany, V, κ.ά.
  Έκδοση: (2010)
• Minimal Memory Automata
  ανά: Benedikt, M, κ.ά.
  Έκδοση: (2010)
• Branch groups and automata
  ανά: Wellen, G
  Έκδοση: (2008)
• Automata vs. Logics on Data Words
  ανά: Benedikt, M, κ.ά.
  Έκδοση: (2010)
• Automata vs. Logics on Data Words
  ανά: Benedikt, M, κ.ά.
  Έκδοση: (2010)