Formalizing O Notation in Isabelle/HOL.

Jeremy Avigad Kevin Donnelly

Published in: IJCAR (2004)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
visual languages
databases
linear logic
sequent calculus
cut elimination
data structure
relational databases
business process
business process modeling