Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000109041472 | 1 hits
Person
ISNI: 
0000 0001 0904 1472
Name: 
Nerode, A.
Nerode, Anil,
Dates: 
1932-
Creation class: 
cre
Language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Artemov, S.N.
Artemov, Sergei N.
Crossley, John N.
Dix, Jürgen
Khoussainov, Bakhadyr (1961-....))
Marek, Wiktor
Metakides, George (1945-)
Shore, Richard A. (1946-....))
Subrahmanian, V. S. (1963-....))
Truszczyński, Mirosław (1955-....))
University of Chicago
Titles: 
Automata theory and its applications
Combinatorial functors
Composita, equations, and recursive definitions, 1956.
Computability and complexity in analysis
LFCS 2013.
Logic for Applications
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Logical Foundations of Computer Science Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Logical methods : in honor of Anil Nerode's sixtieth birthday
Recursion theory
selection of papers presented at the symposium "Logic at Tver 9́2", A
work of Anil Nerode, The : a retrospective
Notes: 
Thesis (Ph. D.)--University of Chicago, 1956
Sources: 
VIAF BNC LC NKC NTA NUKAT SUDOC WKP
TEL