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 Sudoc [ABES], France

Nerode, A. ISNI German National Library

Anil Nerode American mathematician Wikidata

Nerode, Anil German National Library

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 (8)

Open Section Close SectionWorks

Title Sources
Automata theory and its applications German National Library National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France National Library of France
Combinatorial functors German National Library National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Composita, equations, and recursive definitions, 1956. Library of Congress/NACO
Computability and complexity in analysis NUKAT Center of Warsaw University Library
LFCS 2013. National Library of the Netherlands Library of Congress/NACO
Logic for applications German National Library National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France National Library of France
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
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
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 National Library of France NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France
Recursion theory National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of France
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 (7)

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