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. (1935-)
Taitslin, M. A. (1936-)
Taitslin, Mikhail A. (1935-)
Taitslin, Mikhail A. (1936-)
Titles: 
Automata theory and its applications
Combinatorial functors
Composita, equations, and recursive definitions, 1956.
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: 
Sources: 
VIAF BNC BNF LC NKC NTA NUKAT SUDOC WKP
TEL