Program Extraction from Normalization Proofs.

Published in: TLCA (1993)

Keyphrases

computer programs
theorem prover
program execution
automatic extraction
preprocessing
information extraction
automatically extracting
formal proofs
feature selection
relational databases
logic programs
first order logic
theorem proving
knowledge extraction
decision procedures
normalization method