|
Search the dblp DataBase
Stephen Bellantoni:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stephen Bellantoni, Stephen A. Cook
A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) [Citation Graph (5, 0)][DBLP] STOC, 1992, pp:283-293 [Conf]
- Stephen Bellantoni, Toniann Pitassi, Alasdair Urquhart
Approximation and Small Depth Frege Proofs. [Citation Graph (0, 0)][DBLP] Structure in Complexity Theory Conference, 1991, pp:367-390 [Conf]
- Stephen Bellantoni
Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length. [Citation Graph (0, 0)][DBLP] LCC, 1994, pp:253-268 [Conf]
- Stephen Bellantoni, Stephen A. Cook
A New Recursion-Theoretic Characterization of the Polytime Functions. [Citation Graph (0, 0)][DBLP] Computational Complexity, 1992, v:2, n:, pp:97-110 [Journal]
- Stephen Bellantoni, Martin Hofmann
A New "Feasible" Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2002, v:67, n:1, pp:104-116 [Journal]
- Stephen Bellantoni, Toniann Pitassi, Alasdair Urquhart
Approximation and Small-Depth Frege Proofs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1992, v:21, n:6, pp:1161-1179 [Journal]
Search in 0.002secs, Finished in 0.002secs
|