Login / Signup

Proof Theory and the Synthesis of Programs: Potential and Limitations.

Georg Kreisel
Published in: European Conference on Computer Algebra (1) (1985)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • reasoning problems
  • proof theoretic