共 50 条
- [21] Geometric theories for the algebra of real numbers ORDERED ALGEBRAIC STRUCTURES AND RELATED TOPICS, 2017, 697 : 239 - 264
- [22] Einstein's theory of gravitation and Herglotz's mechanics of continua. PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1917, 19 (6/10): : 884 - 891
- [26] The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two Archive for Mathematical Logic, 2015, 54 : 885 - 898
- [27] Actual theoretical aspects of long term memory: From dichotomies to continua. ANALES DE PSICOLOGIA, 2006, 22 (02): : 290 - 297
- [28] Interpolants in Nonlinear Theories Over the Reals TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 625 - 641
- [29] Recursively enumerable reals and Chaitin Ω numbers STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 596 - 606