Carnegie Mellon University
Browse
file.pdf (259.32 kB)
Download file

A Decision Procedure for Linear "Big O" Equations

Download (259.32 kB)
journal contribution
posted on 2007-01-01, 00:00 authored by Jeremy AvigadJeremy Avigad, Kevin Donnelly
Let F be the set of functions from an infinite set, S, to an ordered ring, R.

History

Publisher Statement

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

Date

2007-01-01

Usage metrics

    Categories

    Keywords

    Exports