共 50 条
- [32] The modal logic of continuous functions on the rational numbers [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (04): : 519 - 527
- [33] The modal logic of continuous functions on the rational numbers [J]. Archive for Mathematical Logic, 2010, 49 : 519 - 527
- [35] Fast Arithmetic Using Signed Digit Numbers and Ternary Logic [J]. MODELLING OF ENGINEERING AND TECHNOLOGICAL PROBLEMS, 2009, 1146 : 488 - +
- [37] Algebraic model of an arithmetic unit for TTE-computable normalized rational numbers [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 218 - +
- [38] On Congruent Numbers, Rational Squares in Arithmetic Progressions, Concordant Forms and Elliptic Curves [J]. MATHEMATICS, 2015, 3 (01): : 2 - 15
- [39] NOTE ON BASE -2 ARITHMETIC LOGIC [J]. IEEE TRANSACTIONS ON COMPUTERS, 1975, C 24 (03) : 325 - 329