On Relative Completeness of Hoare Logics

Michal Grabowski

Published in: Inf. Control. (1985)

Keyphrases

inference rules
modal logic
data sets
databases
expressive power
image segmentation
first order logic