Combinatory logic - Document - PDFSEARCH.IO

First Page		Document Content
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		Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 275,84 KB Share Document on Facebook

	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 DocID: 12fRI - View Document
	Microsoft Word - Poster-PeterC.doc DocID: DAm7 - View Document
	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University DocID: 996t - View Document
	Checking Format Compatibility of Programs Using Automata By DocID: 4qt6 - View Document
	PDF Document DocID: 1CIe - View Document