Travelled to:1 × Hungary
2 × Italy
Collaborated with:∅ G.Bonfante R.Kahle J.Marion A.D.0002
Talks about:recurs (3) determin (2) characteris (1) character (1) schemata (1) polynomi (1) implicit (1) function (1) theoret (1) toward (1)
Person: Isabel Oitavem
DBLP: Oitavem:Isabel
Contributed to:
2013200820062018Wrote 4 papers:
- CSL-2013-Oitavem #nondeterminism #recursion
- From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (IO), pp. 24–27.
- CSL-2008-BonfanteKMO #recursion
- Recursion Schemata for NCk (GB, RK, JYM, IO), pp. 49–63.
- CSL-2006-BonfanteKMO #towards
- Towards an Implicit Characterization of NCk (GB, RK, JYM, IO), pp. 212–224.
- CSL-2018-DasO #polynomial #recursion
- A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions (AD0, IO), p. 17.