BibTeX
@inproceedings{DBLP:conf/lcc/Bellantoni94,
author = {Stephen Bellantoni},
title = {Characterizing Parallel Time by Type 2 Recursions With Polynomial
Output Length},
booktitle = {LCC},
year = {1994},
pages = {253-268},
crossref = {DBLP:conf/lcc/1994},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lcc/1994,
editor = {Daniel Leivant},
title = {Logical and Computational Complexity. Selected Papers. Logic
and Computational Complexity, International Workshop LCC
'94, Indianapolis, Indiana, USA, 13-16 October 1994},
booktitle = {LCC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {960},
year = {1995},
isbn = {3-540-60178-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-01-13 by Michael Ley (ley@uni-trier.de)