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)