Neil Immerman

E1753063 UNEXPLORED

Neil Immerman is an American computer scientist best known for his foundational work in descriptive complexity theory, including the Immerman–Szelepcsényi theorem and characterizations of complexity classes via logic.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Neil Immerman canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

NL → equalityProvedBy → Neil Immerman ⓘ

subject linked to: complexity class NL