Repository logo
 
Loading...
Project Logo
Research Project

Computability and complexity with real numbers

Authors

Publications

A continuous characterization of PSPACE using polynomial ordinary differential equations
Publication . Bournez, Olivier; Gozzi, Riccardo; Graça, Daniel; Pouly, Amaury
In this paper we provide a characterization of the complexity class PSPACE by using a purely continuous model defined with polynomial ordinary differential equations.

Organizational Units

Description

Keywords

Contributors

Funders

Funding agency

Fundação para a Ciência e a Tecnologia

Funding programme

OE

Funding Award Number

PD/BD/135190/2017

ID