file.pdf (259.32 kB)
0/0

A Decision Procedure for Linear "Big O" Equations

Download (259.32 kB)
journal contribution
posted on 01.01.2007 by Jeremy Avigad, Kevin Donnelly
Let F be the set of functions from an infinite set, S, to an ordered ring, R.

Categories

Keyword(s)

History

Publisher Statement

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

Date

01/01/2007

Exports

Categories

Keyword(s)

Exports