eCommons will be completely unavailable from 8:00am April 4 until 5:00pm April 5, 2018, for software upgrades. Thank you for your patience during this planned service interruption. Please contact us at email@example.com if you have questions or concerns.
(Internet-First University Press, 2014-10-16)Anil Nerode is the Goldwin Smith Professor of Mathematics. He joined the Cornell Math Department in 1959. His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus ...