Nerode, Anil, 1932-....
Nerode, Anil
Nerode, A.
Anil Nerode American mathematician
VIAF ID: 56701872 ( Personal )
Permalink: http://viaf.org/viaf/56701872
Preferred Forms
- 100 0 _ ‡a Anil Nerode ‡c American mathematician
- 200 _ | ‡a Nerode ‡b Anil ‡f 1932-....
- 100 1 _ ‡a Nerode, A.
-
- 100 1 _ ‡a Nerode, Anil
-
-
-
- 100 1 _ ‡a Nerode, Anil ‡d 1932-
- 100 1 0 ‡a Nerode, Anil, ‡d 1932-
-
-
-
-
-
- 100 1 _ ‡a Nerode, Anil, ‡d 1932-....
4xx's: Alternate Name Forms (26)
Works
Title | Sources |
---|---|
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut | |
Automata theory and its applications | |
Combinatorial Functors | |
Composita, equations, and recursive definitions, 1956. | |
Hybrid systems IV | |
LFCS 2013. | |
LFCS'94 | |
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 | |
Logic at St.Petersburg | |
Logic at Tver '92 : a selection of papers presented at the symposium, held July 20-24, 1992 at Sokol near Tver, Russia | |
Logic for applications | |
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings | |
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 | |
Tver'92 | |
Workshop on Computability and Complexity in Analysis |