Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence.

Sarah Winkler Harald Zankl Aart Middeldorp

Published in: RTA (2013)

Keyphrases

automatically generated
multiscale
term rewrite systems
real time
real world
social networks
computer vision
database systems
sequence analysis