Publisher
Institute of Mathematics, Polish Academy of Sciences
Subject
Algebra and Number Theory
Cited by
198 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nearly computable real numbers;Computability;2023-10-10
2. Semantics of Computable Physical Models;Studia Logica;2023-04-26
3. Angelic and demonic visitation: school memories;Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2021-10-17
4. Intersection points of planar curves can be computed;Computability;2021-08-13
5. COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ;LOG METH COMPUT SCI;2021