Login / Signup
A Proof Theoretic Analysis of Intruder Theories.
Alwen Tiu
Rajeev Goré
Published in:
RTA (2009)
Keyphrases
</>
theoretic analysis
mathematical proofs
theorem proving
information retrieval
computer vision
knowledge base
knowledge representation
theoretical framework
natural deduction
proof planning
interactive theorem proving