Login / Signup

Reachability Analysis of First-order Definable Pushdown Systems.

Lorenzo ClementeSlawomir Lasota
Published in: CSL (2015)
Keyphrases
  • reachability analysis
  • first order logic
  • higher order
  • complex systems
  • knowledge base
  • query language
  • computer systems