A Fragment of ML Decidable by Visibly Pushdown Automata

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

• ML, visibly pushdown class memory automata, and extended branching vector addition systems with states
  Bằng: Cotton-Barratt, C, et al.
  Được phát hành: (2019)
• Collapsible pushdown automata and recursion schemes
  Bằng: Hague, M, et al.
  Được phát hành: (2017)
• Collapsible pushdown automata and recursion schemes
  Bằng: Hague, M, et al.
  Được phát hành: (2008)
• Reachability in pushdown register automata
  Bằng: Murawski, A, et al.
  Được phát hành: (2017)
• Collapsible Pushdown Automata and Recursion Schemes
  Bằng: Murawski, C, et al.
  Được phát hành: (2008)