A Fragment of ML Decidable by Visibly Pushdown Automata

Míreanna comhchosúla

• ML, visibly pushdown class memory automata, and extended branching vector addition systems with states
  de réir: Cotton-Barratt, C, et al.
  Foilsithe / Cruthaithe: (2019)
• Collapsible pushdown automata and recursion schemes
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2017)
• Collapsible pushdown automata and recursion schemes
  de réir: Hague, M, et al.
  Foilsithe / Cruthaithe: (2008)
• Reachability in pushdown register automata
  de réir: Murawski, A, et al.
  Foilsithe / Cruthaithe: (2017)
• Collapsible Pushdown Automata and Recursion Schemes
  de réir: Murawski, C, et al.
  Foilsithe / Cruthaithe: (2008)