VIAF

Virtual International Authority File

Search

Nerode, Anil, 1932-.... National Library of the Netherlands German National Library 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 National Library of the Netherlands German National Library Library of Congress/NACO National Library of France Sudoc [ABES], France National Library of Catalonia
Combinatorial functors National Library of the Netherlands German National Library 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 National Library of the Netherlands German National Library 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 and Regions 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)