Login / Signup

Proof System for Weakest Prespecification and its Applications.

Ewa Orlowska
Published in: MFCS (1988)
Keyphrases
  • modal logic
  • intuitionistic logic
  • data structure
  • databases
  • knowledge representation
  • temporal logic
  • satisfiability problem