Skip to main content


eCommons@Cornell >

Browsing by Author Immerman, Neil

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 6 of 6
PreviewIssue DateTitleAuthor(s)
Mar-1987Definability with Bounded Number of Bound VariablesImmerman, Neil; Kozen, Dexter
Aug-1980First Order Expressibility as a New Complexity MeasureImmerman, Neil
Feb-1980Number of Quantifiers is Better than Number of Tape CellsImmerman, Neil
Apr-1985On Complete Problems for NP$\cap$CoNPHartmanis, Juris; Immerman, Neil
Jul-1978One-Way Log-Tape ReductionsHartmanis, Juris; Immerman, Neil; Mahaney, Stephen R.
Feb-1983Sparse Sets in NP-P: EXPTIME Versus NEXPTIMEHartmanis, Juris; Sewelson, Vivian; Immerman, Neil
Showing results 1 to 6 of 6


© 2014 Cornell University Library Contact Us