Termination of Isabelle Functions via Termination of Rewriting.

Alexander Krauss Christian Sternagel René Thiemann Carsten Fuhs Jürgen Giesl

Published in: ITP (2011)

Keyphrases

termination analysis
term rewriting
theorem prover
active rules
rewrite systems
term rewrite systems
type checking
data sets
relational databases
integrity constraints
lower bound
active databases
search algorithm
data structure
multiscale
information systems
genetic algorithm
presburger arithmetic
real time