Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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 (1961- ))
Khoussainov, Bakhadyr (1961-...)
Marek, Wiktor
Metakides, George (1945-...)
Shore, Richard A. (1946-...)
Subrahmanian, V. S.
Taitslin, M. A. (1936-)
Taitslin, Mikhail A. (1936-)
University of Chicago
Titles: 
Automata theory and its applications
Combinatorial Functors
Composita, equations, and recursive definitions, 1956.
Computability and complexity in analysis
LFCS 2007
LFCS 2009
LFCS 2013
Logic for applications
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Logic programming and non-monotonic reasoning : proceedings of the second international workshop
Logic programming and non-monotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995 : proceedings
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
Logical foundations of computer science : 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Logical foundations of computer science : 4th international symposium, LFCS ʾ97, Yaroslavl, Russia, July 1997 : proceedings
Logical foundations of computer science : 4th InternationalSymposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : Proccedings
Logical foundations of computer science international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
Logical foundations of computer science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
Logical foundations of computer science--Tver '92, c1992:
Logical foundations of computer science, Tver '92 second international symposium, Tver, Russia, July 20-24, 1992 : proceedings
Logical methods : in honor of Anil Nerode's sixtieth birthday
Principles of logic and logic programming
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 BNF LC NKC NTA NUKAT SUDOC WKP
TEL