Isabel Oitavem

2008
7	EE	Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Recursion Schemata for NCk. CSL 2008: 49-63
6	EE	Isabel Oitavem: Characterizing PSPACE with pointers. Math. Log. Q. 54(3): 323-329 (2008)
2006
5	EE	Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Towards an Implicit Characterization of NCk. CSL 2006: 212-224
2004
4	EE	Isabel Oitavem: Characterizing NC with tier 0 pointers. Math. Log. Q. 50(1): 9-17 (2004)
3	EE	S. Bellantoni, Isabel Oitavem: Separating NC along the delta axis. Theor. Comput. Sci. 318(1-2): 57-78 (2004)
2002
2	EE	Isabel Oitavem: A term rewriting characterization of the functions computable in polynomial space. Arch. Math. Log. 41(1): 35-47 (2002)
2001
1	EE	Isabel Oitavem: Implicit Characterizations of Pspace. Proof Theory in Computer Science 2001: 170-190

Coauthor Index

1	S. Bellantoni	[3]
2	Guillaume Bonfante	[5] [7]
3	Reinhard Kahle	[5] [7]
4	Jean-Yves Marion	[5] [7]

Colors in the list of coauthors