file.pdf (259.32 kB)
Download fileA Decision Procedure for Linear "Big O" Equations
journal contribution
posted on 2007-01-01, 00:00 authored by Jeremy AvigadJeremy Avigad, Kevin DonnellyLet F be the set of functions from an infinite set, S, to an ordered ring, R.