Date of Original Version

2004

Type

Conference Proceeding

Rights Management

The original publication is available at www.springerlink.com.

Abstract or Description

We describe a formalization of asymptotic O notation using the Isabelle / HOL proof assistant.

DOI

10.1007/b98691

Included in

Philosophy Commons

Share

COinS