A General Framework for Sound and Complete Floyd-Hoare Logics

Rob Arthan Ursula Martin Erik Arne Mathiesen Paulo Oliva

Published in: CoRR (2008)

Keyphrases

databases
database systems
expressive power
inference rules
set of inference rules
co occurrence
modal logic
real time
case study
information retrieval
genetic algorithm
multiscale
linearly ordered