Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Isabel Oitavem" ( http://dblp.L3S.de/Authors/Isabel_Oitavem )

  Author page on DBLP  Author page in RDF  Community of Isabel Oitavem in ASPL-2

Publication years (Num. hits)
2001-2012 (10)
Publication types (Num. hits)
article(6) inproceedings(4)
Venues (Conferences, Journals, ...)
CSL(2) Math. Log. Q.(2) Ann. Pure Appl. Logic(1) Arch. Math. Log.(1) CL&C(1) J. Log. Comput.(1) Proof Theory in Computer Scien...(1) Theor. Comput. Sci.(1)
Authors
Isabel Oitavem(10) Reinhard Kahle(3) Guillaume Bonfante(2) Jean-Yves Marion(2) Amir M. Ben-Amram(1) Bruno Loff(1) S. Bellantoni(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Amir M. Ben-Amram, Bruno Loff, Isabel Oitavem Monotonicity Constraints in Characterizations of PSPACE. Search on Bibsonomy J. Log. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Isabel Oitavem A recursion-theoretic approach to NP. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Reinhard Kahle, Isabel Oitavem An applicative theory for FPH Search on Bibsonomy CL&C The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Isabel Oitavem Characterizing PSPACE with pointers. Search on Bibsonomy Math. Log. Q. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem Recursion Schemata for NCk. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem Towards an Implicit Characterization of NCk. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Isabel Oitavem Characterizing NC with tier 0 pointers. Search on Bibsonomy Math. Log. Q. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1S. Bellantoni, Isabel Oitavem Separating NC along the delta axis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Isabel Oitavem A term rewriting characterization of the functions computable in polynomial space. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Isabel Oitavem Implicit Characterizations of Pspace. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF implicit characterizations, computational complexity, term rewriting, Pspace
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.