Login / Signup
Towards Automated Termination Proofs through "Freezing".
Hongwei Xi
Published in:
RTA (1998)
Keyphrases
</>
automated theorem provers
fully automated
semi automated
theorem proving
term rewriting
social networks
computer assisted
theorem prover
data sets
genetic algorithm
multiscale
digital libraries
expert systems
semi automatic
context sensitive