Program Verification in a Logical Theory of Constructions.

Published in: FPCA (1985)

Keyphrases

logical properties
computational model
general theory
conceptual framework
real time
data sets
information retrieval
metadata
bayesian networks
multiscale
probability distribution
theoretical basis
logical theories