Login / Signup
Experiences in Developing a Proof Theory for VDM Specifications.
John S. Fitzgerald
R. Moore
Published in:
Semantics of Specification Languages (1993)
Keyphrases
</>
proof theory
default reasoning
automated reasoning
proof theoretic
knowledge representation
deductive databases