Nerode, Anil, 1932-....
Nerode, Anil
VIAF ID: 56701872 (Personal)
Permalink: http://viaf.org/viaf/56701872
Preferred Forms
-
200 _ | ‡a Nerode ‡b Anil ‡f 1932-....
-
100 1 _ ‡a Nerode, Anil ‡d (1932- ).
-
100 1 _ ‡a Nerode, Anil, ‡d 1932-
-
100 1 _ ‡a Nerode, Anil, ‡d 1932-
-
100 1 _ ‡a Nerode, Anil ‡d 1932-
-
100 1 0 ‡a Nerode, Anil, ‡d 1932-
-
100 1 _ ‡a Nerode, Anil, ‡d 1932-....
-
100 1 _ ‡a Nerode, Anil
4xx's: Alternate Name Forms (2)
Selected Titles
- Logic for applications
(7)
- Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
(5)
- Combinatorial functors
(5)
- Recursion theory
(4)
- Logical methods : in honor of Anil Nerode's sixtieth birthday
(3)
- Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
(3)
- Logic programming and non-monotonic reasoning : proceedings of the first international workshop
(3)
- Automata theory and its applications
(3)
- Principles of logic and logic programming
(2)
- The work of Anil Nerode :
(1)
