Sign in

Stateful authorization logic - Proof theory and a case study.

Deepak GargFrank Pfenning
Published in: J. Comput. Secur. (2012)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • special case
  • logical equivalence
  • belief revision