Repository logo
 
Publication

Characterizing time computational complexity classes with polynomial differential equations

dc.contributor.authorGozzi, Riccardo
dc.contributor.authorGraça, Daniel
dc.date.accessioned2022-10-21T13:57:03Z
dc.date.available2022-10-21T13:57:03Z
dc.date.issued2022
dc.description.abstractIn this paper we show that several classes of languages from computational complexity theory, such as EXPTIME, can be characterized in a continuous manner by using only polynomial differential equations. This characterization applies not only to languages, but also to classes of functions, such as the classes defining the Grzegorczyk hierarchy, which implies an analog characterization of the class of elementary computable functions and the class of primitive recursive functions.pt_PT
dc.description.versioninfo:eu-repo/semantics/acceptedVersionpt_PT
dc.identifier.doi10.3233/COM-210384pt_PT
dc.identifier.issn2211-3568
dc.identifier.urihttp://hdl.handle.net/10400.1/18413
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherIOS Presspt_PT
dc.relation.publisherversionhttps://doi.org/10.3233/COM-210384pt_PT
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt_PT
dc.titleCharacterizing time computational complexity classes with polynomial differential equationspt_PT
dc.typejournal article
dspace.entity.typePublication
oaire.citation.titleComputabilitypt_PT
person.familyNameGraça
person.givenNameDaniel
person.identifier.ciencia-id2D11-56DE-3F11
person.identifier.orcid0000-0002-0330-833X
person.identifier.ridD-2335-2011
person.identifier.scopus-author-id8882791800
rcaap.rightsopenAccesspt_PT
rcaap.typearticlept_PT
relation.isAuthorOfPublicationba0c1461-5d2d-4f06-b648-df4a1a505bdf
relation.isAuthorOfPublication.latestForDiscoveryba0c1461-5d2d-4f06-b648-df4a1a505bdf

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Grzegorczyk.pdf
Size:
536 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3.46 KB
Format:
Item-specific license agreed upon to submission
Description: