Hoare Logics for Time Bounds.

Maximilian P. L. Haslbeck Tobias Nipkow

Published in: Arch. Formal Proofs (2018)

Keyphrases

upper bound
expressive power
lower bound
worst case
modal logic
inference rules
upper and lower bounds
average case
lower and upper bounds
error bounds
nonmonotonic logics
propositional calculus
databases
conditional logic
computational properties
epistemic logic
information systems