| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 4 of 4
reviews
|
|
|
 |
|
|
|
|
Incomplete SMT techniques for solving non-linear formulas over the integers
Borralleras C., Larraz D., Rodríguez-Carbonell E., Oliveras A., Rubio A. ACM Transactions on Computational Logic 20(4): 1-36, 2019. Type: Article
It is well known that nonlinear integer arithmetic is undecidable due to a negative answer to Hilbert’s tenth problem. Still, constraint solving over nonlinear integer polynomials has attracted considerable attention because ...
|
May 27 2021 |
|
|
|
|
|
|
A calculus for Esterel: If can, can. If no can, no can.
Florence S., You S., Tov J., Findler R. Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019. Type: Article
Esterel is a synchronous language for reactive programming. Developed in the mid 1980s, it has been used in several safety-critical applications for aviation and nuclear power plant control....
|
Oct 27 2020 |
|
|
|
|
|
|
Cybercryptography: applicable cryptography for cyberspace security
Yan S., Springer International Publishing, New York, NY, 2019. 436 pp. Type: Book (978-3-319725-34-5), Reviews: (2 of 2)
Cybersecurity is a major challenge today, as computing systems and networks play an increasingly important role in modern society. Cryptography addresses this problem based on mathematical theory, trying to ensure secure communication ...
|
Aug 24 2020 |
|
|
|
|
|
|
Mathematical logic: on numbers, sets, structures, and symmetry
Kossak R., Springer International Publishing, New York, NY, 2018. 186 pp. Type: Book (978-3-319972-97-8)
The author states his goal in the preface: “to try to explain a certain approach to the theory of mathematical structures.” The book consists of two parts: the first part is about logic, sets, and numbers; and the s...
|
Sep 11 2019 |
|
|
|
|
|
| |
|
|
| |
|
|
