Klaus Meer, Adrian Wurm. Some Structural Complexity Results for $\exists {\mathbb {R}}$. In Arnold Beckmann, Isabel Oitavem, Florin Manea, editors, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings. Volume 15764 of Lecture Notes in Computer Science, pages 305-320, Springer, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.