Back to Results
First PageMeta Content
Mathematical logic / Theory of computation / Computable number / Computable function / Bounded quantifier / Computable real function / Function / Oracle machine / Decision problem / Computability theory / Theoretical computer science / Mathematics


arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012
Add to Reading List

Document Date: 2012-04-30 22:29:41

Open Document

File Size: 226,52 KB

Share Result on Facebook

Company

Bernstein / Semiconductor Research Corporation / General Motors / /

Facility

Princeton University / Edmund M. Clarke Carnegie Mellon University / /

IndustryTerm

satisfactory solution / decision algorithms / real-time systems / computing / /

Organization

GMCMUCRLNV301 / National Science Foundation / Princeton University / Carnegie Mellon University / Pittsburgh / office of Naval Research / /

Person

Jeremy Avigad / /

ProvinceOrState

Pennsylvania / /

Technology

decision algorithms / dom / /

SocialTag