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

Míreanna comhchosúla

• Automata−based presentations of infinite structures
  de réir: Barany, V, et al.
  Foilsithe / Cruthaithe: (2010)
• Minimal Memory Automata
  de réir: Benedikt, M, et al.
  Foilsithe / Cruthaithe: (2010)
• Branch groups and automata
  de réir: Wellen, G
  Foilsithe / Cruthaithe: (2008)
• Automata vs. Logics on Data Words
  de réir: Benedikt, M, et al.
  Foilsithe / Cruthaithe: (2010)
• Automata vs. Logics on Data Words
  de réir: Benedikt, M, et al.
  Foilsithe / Cruthaithe: (2010)