|
eCommons@Cornell >
Browsing by Author Immerman, Neil
Showing results 1 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | Mar-1987 | Definability with Bounded Number of Bound Variables | Immerman, Neil; Kozen, Dexter |
| Aug-1980 | First Order Expressibility as a New Complexity Measure | Immerman, Neil |
| Feb-1980 | Number of Quantifiers is Better than Number of Tape Cells | Immerman, Neil |
| Apr-1985 | On Complete Problems for NP$\cap$CoNP | Hartmanis, Juris; Immerman, Neil |
| Jul-1978 | One-Way Log-Tape Reductions | Hartmanis, Juris; Immerman, Neil; Mahaney, Stephen R. |
| Feb-1983 | Sparse Sets in NP-P: EXPTIME Versus NEXPTIME | Hartmanis, Juris; Sewelson, Vivian; Immerman, Neil |
Showing results 1 to 6 of 6
|