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
UPDATE