Login / Signup

Experiences in Developing a Proof Theory for VDM Specifications.

John S. FitzgeraldR. Moore
Published in: Semantics of Specification Languages (1993)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • proof theoretic
  • knowledge representation
  • deductive databases