Date of Original Version
Automated Reasoning: Second International Joint Conference, IJCAR 2004. Edited by David Basin and Michael Rusinowitch. Lecture Notes in Artificial Intelligence 3097, 2004: 357-371.
Abstract or Table of Contents
We describe a formalization of asymptotic O notation using the Isabelle / HOL proof assistant.