Login / Signup
Program Synthesis from Natural Deduction Proofs.
Shigeki Goto
Published in:
IJCAI (1979)
Keyphrases
</>
program synthesis
natural deduction
theorem prover
cut elimination
inference rules
sequent calculus
theorem proving
intuitionistic logic
recursive programs
artificial intelligence
inductive logic programming
linear time temporal logic
database
first order logic
modal logic