Normal Proofs in Intruder Theories.

Vincent Bernat Hubert Comon-Lundh

Published in: ASIAN (2006)

Keyphrases

equational theories
theorem proving
theoretical framework
design theory
data mining
formal proof
neural network
computer vision
information systems
website
image sequences
information processing
theorem prover
decision procedures
abnormal behavior