Login / Signup

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.

Eduard DiepstratenRuurd Kuiper
Published in: REX Workshop (1989)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • decision making
  • reasoning tasks