- On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number Jorge Gallego-Hernández Alessio Mansutti Sat 01 November 2025
- Continuous models of computation: from computability to complexity Amaury Pouly Mon 13 November 2023
- Automatic Synthesis of Systems with Data Léo Exibard Fri 26 May 2023
- Equations over sets of integers with addition only Artur Jeż Alexander Okhotin Thu 08 August 2019
- Representing Hyper-arithmetical Sets by Equations over Sets of Integers Artur Jeż Alexander Okhotin Tue 30 December 2014
- Computational completeness of equations over sets of natural numbers Artur Jeż Alexander Okhotin Tue 30 December 2014
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
