The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems

Նմանատիպ նյութեր

• Saturation algorithms for model-checking pushdown systems
  ‌: Arnaud Carayol, և այլն
  Հրապարակվել է: (2014-05-01)
• Saturation methods for global model-checking pushdown systems
  ‌: Hague, M
  Հրապարակվել է: (2009)
• Saturation Methods for Global Model−Checking Pushdown Systems
  ‌: Hague, M
  Հրապարակվել է: (2009)
• Collapsible pushdown automata and recursion schemes
  ‌: Hague, M, և այլն
  Հրապարակվել է: (2017)
• Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
  ‌: Hague, M, և այլն
  Հրապարակվել է: (2007)