Supervisors: | João Filipe Quintas dos Santos Rasga, Daniel da Silva Graça |
University: | Instituto Superior Técnico |
Defense date: | 2 / 2022 |
Keywords: | Computability and complexity, analog computation, dynamical systems, computable analysis, ordinary differential equations, Grzegorczyk hi- erarchy,generalpurposeanalogcomputer,EXPTIME,PSPACE,complexanal- ysis, complex square root. We acknowledge the support of Instituto de Telecomunica ~ oes. This work is funded by FCT/MCTES through national funds and when applicable co-funded EU funds under the project UIDB/50008/2020. |
Abstract: | PDF download |