Program Extraction from Normalization Proofs.

Ulrich Berger Stefan Berghofer Pierre Letouzey Helmut Schwichtenberg

Published in: Stud Logica (2006)

Keyphrases

computer programs
database systems
information extraction
theorem prover
theorem proving
automatic extraction
database
real world
decision trees
video sequences
control program
normalization method
formal proofs