VIAF

Virtual International Authority File

Search

Nerode, Anil, 1932-.... German National Library National Library of the Netherlands Library of Congress/NACO National Library of France NUKAT Center of Warsaw University Library National Library of the Czech Republic Sudoc [ABES], France National Library of Catalonia

Nerode, A. ISNI

Anil Nerode American mathematician Wikidata

VIAF ID: 56701872 (Personal)

Permalink: http://viaf.org/viaf/56701872

ISNI: 0000  0001  0904  1472 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (9)

Open Section Close SectionWorks

Title Sources
Automata theory and its applications German National Library National Library of the Netherlands Library of Congress/NACO National Library of France Sudoc [ABES], France National Library of Catalonia
Combinatorial functors German National Library National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Czech Republic Sudoc [ABES], France National Library of Catalonia
Composita, equations, and recursive definitions, 1956. Library of Congress/NACO
Computability and complexity in analysis NUKAT Center of Warsaw University Library
Hybrid Systems V Sudoc [ABES], France
LFCS 2013 National Library of the Netherlands Library of Congress/NACO
Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 Sudoc [ABES], France
Logic for applications German National Library National Library of the Netherlands Library of Congress/NACO National Library of France Sudoc [ABES], France National Library of Catalonia
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia
Logical foundations of computer science, Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings National Library of the Netherlands German National Library National Library of France NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia
Logical methods : in honor of Anil Nerode's sixtieth birthday National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Principles of logic and logic programming National Library of the Netherlands Library of Congress/NACO National Library of France
Recursion theory National Library of the Netherlands Library of Congress/NACO National Library of France NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Catalonia
A selection of papers presented at the symposium "Logic at Tver 9́2" / ed. by A. Nerode and M. A. Taislin. - Amsterdam, 1994. NUKAT Center of Warsaw University Library
The work of Anil Nerode : a retrospective National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:56701872 (16)