Login / Signup
Reachability, confluence, and termination analysis with state-compatible automata.
Bertram Felgenhauer
René Thiemann
Published in:
Inf. Comput. (2017)
Keyphrases
</>
state space
termination analysis
active rules
database management systems
regular expressions
active databases