Sign in

Stateful Authorization Logic: - Proof Theory and a Case Study.

Deepak GargFrank Pfenning
Published in: STM (2010)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • logical equivalence
  • reasoning problems
  • machine learning
  • knowledge representation
  • cut elimination