Login / Signup

Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.

Uwe EglyStephan Schmitt
Published in: AISC (1998)
Keyphrases
  • program synthesis
  • linear logic
  • decision trees
  • theorem prover
  • co occurrence
  • feature selection
  • fuzzy set theory