Stephen Cole Kleene - PDFSEARCH.IO - Document Search Engine

Stephen Cole Kleene
Results: 7

#	Item
1	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
2	Microsoft Word - Poster-PeterC.doc Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2008-09-29 13:47:25 University of Szeged Rózsa Péter László Kalmár Lipót Fejér Eötvös Loránd University Loránd Eötvös Stephen Cole Kleene Computability theory Péter Komjáth Hungarian people Mathematics Hungary
3	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:27 Algebra Formal languages Algebraic logic Many-valued logic Boolean algebra Kleene algebra Kleene star Semiring Stephen Cole Kleene Abstract algebra Mathematics Algebraic structures
4	Checking Format Compatibility of Programs Using Automata By Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-08-30 17:27:11 Finite-state machine Stephen Cole Kleene Computing Logic Science Automata theory Models of computation XFA
5	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-29 15:27:54 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Algorithm Recursion Stephen Cole Kleene Computability Computability theory Mathematics Theory of computation
6	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2008-05-01 19:55:27 Lambda calculus Computability theory Logic in computer science Model theory Proof theory Combinatory logic Haskell Curry Stephen Cole Kleene Type theory Mathematics Mathematical logic Logic
7	PDF Document Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2009-04-12 21:16:41 Mathematical logic Theory of computation Theoretical computer science Models of computation Entscheidungsproblem Alonzo Church Stephen Cole Kleene Turing machine Lambda calculus Mathematics Computability theory Logic