Termination of System F-bounded: A Complete Proof.

Published in: Inf. Comput. (1997)

Keyphrases

database
theorem proving
databases
theorem prover
real time
real world
search engine
website
data structure
special case
provably correct
term rewriting