Login / Signup
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.
Eduard Diepstraten
Ruurd Kuiper
Published in:
REX Workshop (1989)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
decision making
reasoning tasks