On Effective Axiomatizations of Hoare Logics.

Edmund M. Clarke Steven M. German Joseph Y. Halpern

Published in: POPL (1982)

Keyphrases

high quality
decision procedures
databases
real world
multimedia
database systems
bayesian networks
optimal solution
computationally efficient
conditional logic