Anil Nerode (born 1932) is an American mathematician, known for his work in mathematical logic and for his many-decades tenure as a professor at Cornell...

Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who...

theorem was first proved by Anil Nerode (Nerode 1958) and the relation S ∼ {\displaystyle {}_{S}{\sim }} is thus referred to as Nerode congruence by some authors...

ISBN 978-0-201-02988-8. Zbl 0426.68001. (See chapter 3.) Bakhadyr Khoussainov; Anil Nerode (6 December 2012). Automata Theory and its Applications. Springer Science...

theory, computable model theory and theoretical computer science. With Anil Nerode, he is the co-founder of the theory of automatic structures, which is...

Novikov (Russia/Soviet Union, 1901–1975) Nagarjuna (India, c.150–c.250) Anil Nerode (US, born 1932) William of Ockham (England, 1285–1349) Piergiorgio Odifreddi...

Israel. In the theory of formal languages, the Myhill–Nerode theorem, proven by Myhill and Anil Nerode, characterizes the regular languages as the languages...

expectations, even though they had developed all the methods required. — Anil Nerode, Cornell University When one substitutes "linear time on a multitape...

known for work in the field of econometrics Anil Nerode (b. 1932), mathematician, proved the Myhill-Nerode Theorem Ria Persad (b. 1974), mathematician...

MIT Press, pp. 133–191, ISBN 978-0-262-22039-2 Bakhadyr Khoussainov; Anil Nerode (6 December 2012). Automata Theory and its Applications. Springer Science...

(2009). Büchi Complementation Made Tight. STACS. Bakhadyr Khoussainov; Anil Nerode (6 December 2012). Automata Theory and its Applications. Springer Science...

visiting professor at Cornell University, where he collaborated with Anil Nerode, Richard Platek, and Richard Shore. From 2001 to 2003 he taught at Università...

co-founder of category theory Janet McDonald (Ph.D. 1943) – mathematician Anil Nerode (Ph.D. 1956) Ken Ono (B.A. 1989) Alice Turner Schafer (Ph.D. 1942) Richard...

Steve Awodey David Eisenbud William Howard Thomas Hungerford Irving Kaplansky Roger Lyndon Michael D. Morley Anil Nerode Robert Solovay John G. Thompson...

Ganesh Pandit Pramod Khargonekar Dinesh Thakur Chandrashekhar Khare Anil Nerode Avinash Kamalakar Dixit Aravind Joshi Abhay Ashtekar Ashok Gadgil Shrinivas...

Engineering (1986) and recipient of John von Neumann Theory Prize (2012) Anil Nerode (Goldwin Smith Professor of Mathematics) — mathematical logic; fellow...

Nakayama Seema Nanda John Forbes Nash Jr. Frank Natterer Dana S. Nau Anil Nerode Claudia Neuhauser John von Neumann Heidi Jo Newberg Mark Newman Ngô Bảo...

ISBN 978-0-201-53082-7. Section 16.2: Alternation, pp. 399–401. Bakhadyr Khoussainov; Anil Nerode (2012). Automata Theory and its Applications. Springer Science & Business...

studying recursion theory under the supervision of Anil Nerode. Her dissertation was ω-Cohesive Sets. Nerode writes that, although Ryan moved away from this...

in math (1972 and 1974, respectively). At Cornell, he was advised by Anil Nerode, and his dissertation was entitled Co-recursively Enumerable Structures...

Genealogy Project". Retrieved 2010-04-28. Cornell Topology Festival Anil Nerode. "Autobiography: My Life at Cornell". Cornell University. Retrieved 2010-04-28...

several years thereafter. In 1965, Conway, along with Robert J. Walker and Anil Nerode of the Department of Mathematics in the College of Arts and Sciences...

Oxford University Press, 1972 Combinatorial Functors John N. Crossley and Anil Nerode, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin,...

mathematical logic and formal languages, with instructors including Anil Nerode, Juris Hartmanis, and John Hopcroft. She began her doctoral studies at...

Palmer Agnew at the Mathematics Genealogy Project Livesay, G. Roger; Nerode, Anil; Fuchs, Wolfgang H. "Ralph Palmer Agnew" (PDF). Archived (PDF) from the...

Retrieved 2014-10-15. Wijesekera, Duminda; Ganesh, M.; Srivastava, Jaideep; Nerode, Anil (2001). "Normal forms and syntactic completeness proofs for functional...

Manuel (December 2009), "Review", Philosophy in Review, 29 (6): 404 Nerode, Anil (March 2010), The American Mathematical Monthly, 117 (3): 286–288, doi:10...

Warren, David S.; Freire, Juliana (1997), Dix, Jürgen; Furbach, Ulrich; Nerode, Anil (eds.), "XSB: A system for efficiently computing well-founded semantics"...

Manuel (December 2009), "Review", Philosophy in Review, 29 (6): 404 Nerode, Anil (March 2010), The American Mathematical Monthly, 117 (3): 286–288, doi:10...

(5): 269–276. doi:10.1016/0020-0190(91)90122-X. Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans, eds. (1993). Hybrid Systems. Lecture...