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

Những quyển sách tương tự

• Automata−based presentations of infinite structures
  Bằng: Barany, V, et al.
  Được phát hành: (2010)
• Minimal Memory Automata
  Bằng: Benedikt, M, et al.
  Được phát hành: (2010)
• Branch groups and automata
  Bằng: Wellen, G
  Được phát hành: (2008)
• Automata vs. Logics on Data Words
  Bằng: Benedikt, M, et al.
  Được phát hành: (2010)
• Automata vs. Logics on Data Words
  Bằng: Benedikt, M, et al.
  Được phát hành: (2010)