Light Dialectica Program Extraction from a Classical Fibonacci Proof.

Mircea-Dan Hernest

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

information extraction
automatic extraction
real time
automatically extracted
imperative programs
information retrieval
image processing
natural language
relational databases
theorem proving
knowledge extraction
computer programs
programming environment