A decidable theory involving addition of differentiable real functions
Work
Year: 2022
Type: article
Source: Theoretical Computer Science
Institutions University of Verona, University of Catania, University of Trieste, Pontifical Gregorian University
Cites: 11
Cited by: 1
Related to: 10
FWCI: 0.144
Citation percentile (by year/subfield): 36.02
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed
Funder Università di Catania