file.pdf (259.32 kB)

A Decision Procedure for Linear "Big O" Equations

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

References

http://dx.doi.org/10.1007/s10817-007-9066-1

Publisher Statement

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

Date

2007-01-01

Usage metrics

Categories

Philosophy

Keywords

Licence

Exports