Login / Signup

Towards a Proof Theory of Parameterized Specifications.

Peter Padawitz
Published in: Semantics of Data Types (1984)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • high level
  • machine learning
  • constraint satisfaction