gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:University_of_Chicago
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_American_Mathematical_Society
|
gptkbp:birthYear
|
1932
|
gptkbp:doctoralAdvisor
|
gptkb:Saunders_Mac_Lane
|
gptkbp:editor
|
gptkb:Annals_of_Pure_and_Applied_Logic
gptkb:Journal_of_Logic_and_Computation
|
gptkbp:field
|
gptkb:logic
automata theory
recursion theory
differential algebra
|
https://www.w3.org/2000/01/rdf-schema#label
|
Anil Nerode
|
gptkbp:knownFor
|
gptkb:Myhill–Nerode_theorem
work in automata theory
|
gptkbp:memberOf
|
gptkb:American_Mathematical_Society
|
gptkbp:nationality
|
gptkb:American
|
gptkbp:notableStudent
|
gptkb:Bakh_Khoussainov
gptkb:Frank_Stephan
gptkb:Richard_Shore
gptkb:Robert_Soare
|
gptkbp:occupation
|
gptkb:mathematician
gptkb:professor
|
gptkbp:spouse
|
gptkb:Judith_Roitman
|
gptkbp:thesisTitle
|
Extensions and interpretations of predicate calculus
|
gptkbp:thesisYear
|
1956
|
gptkbp:workInstitution
|
gptkb:Cornell_University
|
gptkbp:bfsParent
|
gptkb:Myhill–Nerode_theorem
|
gptkbp:bfsLayer
|
4
|