Termination and normalisation under strategy Proofs in ELAN.

Hélène Kirchner Isabelle Gnaedig

Published in: WRLA (2000)

Keyphrases

databases
search strategy
optimal strategy
term rewriting
formal proof
database
feature selection
decision trees
database systems
search space
test collection
theorem prover
theorem proving
selection strategy
decision procedures
mathematical proofs