GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Neil Immerman
URI:
https://gptkb.org/entity/Neil_Immerman
GPTKB entity
Statements (18)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Yale_University
gptkbp:awardReceived
gptkb:ACM_Fellow
gptkb:Gödel_Prize
gptkbp:birthYear
1953
gptkbp:doctoralAdvisor
gptkb:Samuel_Eilenberg
gptkbp:doctoralStudent
gptkb:Cynthia_Dwork
gptkbp:editor
gptkb:Theory_of_Computing_Systems
gptkbp:field
computer science
https://www.w3.org/2000/01/rdf-schema#label
Neil Immerman
gptkbp:knownFor
gptkb:Immerman–Szelepcsényi_theorem
descriptive complexity
gptkbp:memberOf
gptkb:Association_for_Computing_Machinery
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:computer_scientist
gptkbp:workInstitution
gptkb:University_of_Massachusetts_Amherst
gptkbp:bfsParent
gptkb:finite_model_theory
gptkbp:bfsLayer
5