Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions.
Solomon FefermanPublished in: J. Symb. Log. (1988)
Keyphrases
- theoretical issues
- program execution
- theorem proving
- geometry theorem proving
- imperative programs
- computer programs
- efficient computation
- recursive programs
- proof planning
- program synthesis
- data sets
- theorem prover
- theoretical analysis
- object oriented
- hidden markov models
- computer science
- video sequences
- neural network