Anil Nerode - PDFSEARCH.IO - Document Search Engine

Anil Nerode
Results: 9

#	Item
1	The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15 Add to Reading List Source URL: fsw01.bcc.cuny.edu Language: English - Date: 2012-05-16 01:10:11 Mathematics Philosophy Logic Meals Joan Moschovakis Melvin Fitting Rohit Jivanlal Parikh Break Coffee Artyomov Dexter Kozen Anil Nerode
2	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung founded in 1996 http://www.math.uni-bielefeld.de/documenta/ ISSN · Print Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-08-28 12:45:31 Software Application software Mathematical software Andrei Suslin Anil Nerode Stephen Lichtenbaum Documenta Wolfram Mathematica
3	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung founded in 1996 http://www.math.uni-bielefeld.de/documenta/ http://www.math.uiuc.edu/documenta/ Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2011-09-09 05:41:44 Wolfram Research Kassel Anil Nerode Kazuya Kato Mathematica Documenta Mathematical software Science Application software
4	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung founded in 1996 http://www.math.uni-bielefeld.de/documenta/ http://www.math.uiuc.edu/documenta/ Add to Reading List Source URL: www.mathematik.uni-bielefeld.de Language: English - Date: 2011-09-09 05:41:44 Wolfram Research Kassel Anil Nerode Kazuya Kato Mathematica Documenta Mathematical software Science Application software
5	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung Gegr¨ undet[removed]http://www.math.uni-bielefeld.de/documenta/ Add to Reading List Source URL: www.mathematik.uni-bielefeld.de Language: English - Date: 2013-01-06 12:56:16 Kassel Documenta Kazuya Kato Anil Nerode Mathematica Mathematical software Science Application software
6	Ralph Palmer Agnew December 29, 1900 — October 16, 1986 Ralph Palmer Agnew was born in Poland, Ohio, on December 29, 1900. He was the eldest of five brothers in Add to Reading List Source URL: ecommons.library.cornell.edu Language: English - Date: 2011-06-14 14:09:07 Anil Nerode Mark Kac Cornell University Tompkins County New York Guggenheim Fellows New York
7	This book is dedicated to Prabir Roy, Louis McAuley, Jonathan Seldin, Anil Nerode, and Maurice Boffa, my teachers, and to W. V. O. Quine and R. B. Jensen, the founders of this style of set theory. Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 11:20:44 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Implementation of mathematics in set theory S Ordinal number Mathematical logic Set theory Mathematics
8	PDF Document Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2010-02-03 14:40:55 Pumping lemma for regular languages Regular language Constructible universe John Myhill Presentation of a group Anil Nerode Formal languages Mathematics Myhill–Nerode theorem
9	PDF Document Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2008-08-22 09:54:26 American Sign Language Computability theory Association for Symbolic Logic John Myhill Nels David Nelson Anil Nerode Saul Kripke Mereology Logic Mathematical logic Philosophy