Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
981	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Computability theory Lambda calculus Theoretical computer science Abstract interpretation Free variables and bound variables Eval Computing Mathematics Software engineering
982	th Solomonoff 85 Memorial Conference Preliminary Call for Papers 30 November – 2 December 2011 Add to Reading List Source URL: www.solomonoff85thmemorial.monash.edu.au Language: English - Date: 2011-09-02 04:19:08 Artificial intelligence Computability theory Ray Solomonoff Algorithmic information theory Cybernetics Theoretical computer science Algorithmic probability Kolmogorov complexity Marcus Hutter Science Knowledge Applied mathematics
983	A Polynomial Time λ-calculus with Multithreading and Side Effects ∗ Antoine Madet Univ Paris Diderot, Sorbonne Paris Cit´e PPS, UMR 7126, CNRS, F[removed]Paris, France [removed] Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-09-26 03:33:14 Computability theory Lambda calculus Theoretical computer science Valuation Envelope Holomorphic functional calculus Mathematics Abstract algebra Mathematical analysis
984	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
985	On the complexity Andrea Dipartimento Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-31 09:25:33 Computability theory Lambda calculus Algorithm SL Reduction L Connectivity Theoretical computer science Applied mathematics Complexity classes
986	KEITH DEVLIN Books Trade books 1. The Man of Numbers: Fibonacci’s Arithmetic Revolution, Walker Books (2011), 192pp. 2. Leonardo and Steve: the Young Genius Who Beat Apple to Market by 800 Years, Ted Weinstein (2011), Add to Reading List Source URL: profkeithdevlin.com Language: English - Date: 2012-11-03 14:43:43 Mathematical logic Logic Knowledge Mathematician Number theory Computability theory Philosophy of mathematics Science Mathematics
987	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ First published Thu Sep 14, 1995; substantive revision Tue Jun 26, 2012 Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
988	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ from the Summer 2013 Edition of the Edward N. Zalta Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Theory of computation Turing machine Models of computation Alan Turing Computability Busy beaver Church–Turing thesis Computable function Halting problem Computability theory Theoretical computer science Computer science
989	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ PL E Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
990	Reflexive Autopoiesis and Weak Measures Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:18:36 Thermodynamics Turing machine Systems science Ethology Cybernetics Autopoiesis Meta-system Alan Turing Computability Systems theory Science Non-equilibrium thermodynamics