Publication
A continuous characterization of PSPACE using polynomial ordinary differential equations
| dc.contributor.author | Bournez, Olivier | |
| dc.contributor.author | Gozzi, Riccardo | |
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Pouly, Amaury | |
| dc.date.accessioned | 2023-04-04T09:02:22Z | |
| dc.date.available | 2023-04-04T09:02:22Z | |
| dc.date.issued | 2023-08 | |
| dc.description.abstract | In this paper we provide a characterization of the complexity class PSPACE by using a purely continuous model defined with polynomial ordinary differential equations. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1016/j.jco.2023.101755 | pt_PT |
| dc.identifier.eissn | 1090-2708 | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/19387 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Elsevier | pt_PT |
| dc.relation | Computability and complexity with real numbers | |
| dc.relation | Instituto de Telecomunicações | |
| dc.relation.publisherversion | https://doi.org/10.1016/j.jco.2023.101755 | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | PSPACE | pt_PT |
| dc.subject | Analog computation | pt_PT |
| dc.subject | General Purpose Analog Computer | pt_PT |
| dc.subject | Computational complexity | pt_PT |
| dc.subject | Continuous models of computation | pt_PT |
| dc.subject | Ordinary differential equations | pt_PT |
| dc.title | A continuous characterization of PSPACE using polynomial ordinary differential equations | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Computability and complexity with real numbers | |
| oaire.awardTitle | Instituto de Telecomunicações | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/OE/PD%2FBD%2F135190%2F2017/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F50008%2F2020/PT | |
| oaire.citation.startPage | 101755 | pt_PT |
| oaire.citation.title | Journal of Complexity | pt_PT |
| oaire.citation.volume | 77 | pt_PT |
| oaire.fundingStream | OE | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isProjectOfPublication | 2f86ee30-a44f-4256-87fd-5cfd77599924 | |
| relation.isProjectOfPublication | fcbe2d59-4ccb-49ff-a429-eb61bca54349 | |
| relation.isProjectOfPublication.latestForDiscovery | fcbe2d59-4ccb-49ff-a429-eb61bca54349 |