BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Oitavem:Isabel

Contributed to:

CSL 20132013
CSL 20082008
CSL 20062006
CSL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.