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
Citations:12 - 4 self