A Fragment of ML Decidable by Visibly Pushdown Automata

類似資料

• ML, visibly pushdown class memory automata, and extended branching vector addition systems with states
  著者:: Cotton-Barratt, C, 等
  出版事項: (2019)
• Collapsible pushdown automata and recursion schemes
  著者:: Hague, M, 等
  出版事項: (2017)
• Collapsible pushdown automata and recursion schemes
  著者:: Hague, M, 等
  出版事項: (2008)
• Reachability in pushdown register automata
  著者:: Murawski, A, 等
  出版事項: (2017)
• Collapsible Pushdown Automata and Recursion Schemes
  著者:: Murawski, C, 等
  出版事項: (2008)