Date of Original Version
2004
Type
Conference Proceeding
Published In
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.