A decidable theory involving addition of differentiable real functions
From MaRDI portal
Publication:2699966
DOI10.1016/j.tcs.2022.10.045OpenAlexW4308195785MaRDI QIDQ2699966
Gianluca Cincotti, Gaetano T. Spartà, Gabriele Buriola, Domenico Cantone, Eugenio Giovanni Omodeo
Publication date: 20 April 2023
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.10.045
Cites Work
- Decidability in elementary analysis. II
- Complexity of deciding Tarski algebra
- Decidability in elementary analysis. I
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- Decision algorithms for some fragments of analysis and related areas
- Computational Logic and Set Theory
- Some undecidable problems involving elementary functions of a real variable
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A decidable theory involving addition of differentiable real functions