Formalizing O notation in Isabelle/HOL (2004)

by J Avigad, K Donnelly
Venue:Automated Reasoning: second international conference, IJCAR 2004