Isabel Oitavem

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 8

Top Topics

Disjunctive Logic Programming

Complex Objects

Polynomial Hierarchy

Top Venues

Arch. Math. Log.

Publications

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL (2024)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
An Arithmetic Theory to Characterize Poly-Time Random Functions. CoRR (2023)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CoRR (2023)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61 (7-8) (2022)
Isabel Oitavem
The polynomial hierarchy of functions and its levels. Theor. Comput. Sci. 900 (2022)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS (2021)
Anupam Das, Isabel Oitavem
A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. CSL (2018)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
boolean circuits. Inf. Comput. 248 (2016)
Isabel Oitavem
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). CSL (2013)
Reinhard Kahle, Isabel Oitavem
Applicative theories for the polynomial hierarchy of time and its levels. Ann. Pure Appl. Log. 164 (6) (2013)
Amir M. Ben-Amram, Bruno Loff, Isabel Oitavem
Monotonicity Constraints in Characterizations of PSPACE. J. Log. Comput. 22 (2) (2012)
Isabel Oitavem
A recursion-theoretic approach to NP. Ann. Pure Appl. Log. 162 (8) (2011)
Reinhard Kahle, Isabel Oitavem
An applicative theory for FPH CL&C (2010)
Isabel Oitavem
Characterizing PSPACE with pointers. Math. Log. Q. 54 (3) (2008)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
Recursion Schemata for NCk. CSL (2008)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
. CSL (2006)
S. Bellantoni, Isabel Oitavem
along the delta axis. Theor. Comput. Sci. 318 (1-2) (2004)
Isabel Oitavem
with tier 0 pointers. Math. Log. Q. 50 (1) (2004)
Isabel Oitavem
A term rewriting characterization of the functions computable in polynomial space. Arch. Math. Log. 41 (1) (2002)
Isabel Oitavem
Implicit Characterizations of Pspace. Proof Theory in Computer Science (2001)