Neil Immerman (born 24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the University...

Immerman is a surname. Notable people with the surname include: Karl Immermann (1796–1840), German dramatist, novelist, and poet Neil Immerman (born 1953)...

classes are closed under complementation. It was proven independently by Neil Immerman and Róbert Szelepcsényi in 1987, for which they shared the 1995 Gödel...

complement, independently obtained in 1987 also by Neil Immerman (the result known as the Immerman–Szelepcsényi theorem), brought the Gödel Prize of ACM...

009. ISSN 0304-3975. Immerman, Neil (1999). Descriptive complexity. Springer. ISBN 0-387-98600-6. OCLC 901297152. Neil Immerman's descriptive complexity...

a book in mathematical logic and computational complexity theory by Neil Immerman. It concerns descriptive complexity theory, an area in which the expressibility...

ISBN 978-0-89232-896-3, archived from the original (PDF) on 2012-02-22 Immerman, Neil (1988), "Nondeterministic space is closed under complementation" (PDF)...

Addison-Wesley. ISBN 0-201-53082-1. Section 20.1, page 491. Juris Hartmanis, Neil Immerman, Vivian Sewelson. "Sparse Sets in NP−P: EXPTIME versus NEXPTIME". Information...

complements are in NL. This result (the Immerman–Szelepcsényi theorem) was independently discovered by Neil Immerman and Róbert Szelepcsényi in 1987; they...

of Representatives for Florida's 8th and 9th Congressional Districts Neil Immerman, professor of computer science at the University of Massachusetts Amherst...