Login / Signup
DynamiTe: Dynamic Termination and Non-termination Proofs.
Ton Chanh Le
Timos Antonopoulos
Parisa Fathololumi
Eric Koskinen
ThanhVu Nguyen
Published in:
CoRR (2020)
Keyphrases
</>
term rewriting
rewrite systems
active rules
termination analysis
theorem prover
database
real time
databases
genetic algorithm
decision trees
multiscale
dynamically changing