Login / Signup
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.
Uwe Egly
Stephan Schmitt
Published in:
Fundam. Informaticae (1999)
Keyphrases
</>
program synthesis
linear logic
natural deduction
databases
domain knowledge
recursive programs