VIAF

Virtual International Authority File

Search

Nerode, Anil, 1932-.... National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of France ISNI

Anil Nerode American mathematician Wikidata

Nerode, Anil German National Library

Nerode, A. 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 (7)

Open Section Close SectionWorks

Title Sources
Automata theory and its applications National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of France
Combinatorial functors National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Composita, equations, and recursive definitions, 1956. Library of Congress/NACO
LFCS 2013. National Library of the Netherlands Library of Congress/NACO
Logic for applications xR Extended Titles National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO 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 Sudoc [ABES], France Library of Congress/NACO
Logical Foundations of Computer Science Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France National Library of France
Logical methods : in honor of Anil Nerode's sixtieth birthday National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Principles of logic and logic programming National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of France
Recursion theory National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of France
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 (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

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