Towards Automated Termination Proofs through "Freezing".

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