Isabel Oitavem

Available identifiers

zbMath Open oitavem.isabelMaRDI QIDQ276256

List of research outcomes

Publication	Date of Publication	Type
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories	2023-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q6168449	2023-08-08	Paper
Implicit recursion-theoretic characterizations of counting classes	2022-10-18	Paper
A recursion-theoretic characterisation of the positive polynomial-time functions	2022-05-28	Paper
Lorenzen Between Gentzen and Schütte	2022-01-27	Paper
The polynomial hierarchy of functions and its levels	2021-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q4964698	2021-03-03	Paper
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk)	2017-02-02	Paper
Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits	2016-05-03	Paper
Applicative theories for the polynomial hierarchy of time and its levels	2013-04-15	Paper
Monotonicity Constraints in Characterizations of PSPACE	2012-05-07	Paper
A recursion-theoretic approach to NP	2011-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3081649	2011-03-09	Paper
Towards an Implicit Characterization of NC k	2009-03-12	Paper
Recursion Schemata for NC k	2008-11-20	Paper
Characterizing PSPACE with pointers	2008-06-12	Paper
An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA	2007-09-05	Paper
Separating NC along the \(\delta\) axis	2004-08-06	Paper
Characterizing NC with tier 0 pointers	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4436033	2003-11-23	Paper
A term rewriting characterization of the functions computable in polynomial space	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4339320	1997-06-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Isabel Oitavem