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