Redundant Proofs of Non-Interference in Levin-Gries CSP Program Proofs.

Thomas P. Murtagh

Published in: Acta Informatica (1987)

Keyphrases

computer programs
theorem prover
constraint propagation
decision procedures
formal proofs
neural network
search engine
theorem proving
formal proof
equational theories
database
feature selection
state space
constraint satisfaction problems
constraint satisfaction
natural deduction