A decidable theory involving addition of differentiable real functions
| Autor: | Buriola, Gabriele, Cantone, Domenico, Cincotti, Gianluca, Omodeo, Eugenio G., Spartà, Gaetano T. |
|---|---|
| Zdroj: | In Theoretical Computer Science 9 January 2023 940 Part A:124-148 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect