Back to Results
First PageMeta Content
Computability theory / Mathematics / Mathematical logic / Theory of computation / Computable number / Decision problem / Computable function / NC / Continuous function / First-order logic / Real closed field / Limit of a function


Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1
Add to Reading List

Document Date: 2018-09-27 16:37:21


Open Document

File Size: 361,45 KB

Share Result on Facebook
UPDATE