Formalizing O notation in Isabelle/HOL (2004)

by Jeremy Avigad, Kevin Donnelly
Venue:In David Basin and Michaël Rusinowitch, editors, Automated Reasoning: second international joint conference, IJCAR 2004