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
Logspace without bounds	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

This page was built for person: Isabel Oitavem