Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
821	The Tower of Hanoi: A Bibliography Paul K. Stockmeyer Department of Computer Science Add to Reading List Source URL: www.cs.wm.edu Language: English - Date: 2005-10-22 21:58:39 Gray code Recursion Mathematics Computing Tower of Hanoi Hanoi
822	DISCUSSION NOTE Evidence and argumentation: A reply to Everett (2009)* ANDREW NEVINS Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-10-13 22:35:10 Complexity classes Relative clause Recursion NP Linguistics Syntax Wh-movement
823	Sy Friedman KGRC, Vienna, Austria I am interested in higher recursion theory, abstract set theory, descriptive set theory and in the application of set theory to questions in model theory. My earliest Add to Reading List Source URL: www.math.uni-muenster.de Language: English - Date: 2009-03-20 04:44:36 Forcing L Model theory Computability theory Singular cardinals hypothesis Inner model Mathematics Mathematical logic Set theory Inner model theory
824	Extreme Markup Languages[removed]Montréal, Québec Add to Reading List Source URL: tcl.sfs.uni-tuebingen.de Language: English - Date: 2004-08-10 09:27:30 Computability theory Theory of computation Markup languages Functional languages Recursion XQuery XSLT XML transformation language Turing completeness Computing Computer programming Software engineering
825	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Theoretical computer science Programming idioms Category theory Functional programming Haskell Coinduction Corecursion Pattern matching Software engineering Computer programming Computing
826	A Proof of the Turing-completeness of XSLT and XQuery Stephan Kepser Add to Reading List Source URL: tcl.sfs.uni-tuebingen.de Language: English - Date: 2002-05-13 11:35:09 Computability theory Functional languages Recursion Subroutines Theoretical computer science XQuery XSLT Primitive recursive function Stack Computing Computer programming Software engineering
827	The Strictly False Programming Language M. Randall Holmes September 12, 2005 Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2005-09-12 17:17:59 Esoteric programming languages Non-English-based programming languages Stack Subroutines Software bugs Forth FALSE Recursion Stack machine Computing Software engineering Computer programming
828	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic
829	Well Founded Relations and Recursion Roger Bishop Jones Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Transitive closure Function FO Binary relation Constructible universe Recursion Transitivity Mathematics Mathematical logic Well-founded relation

UPDATE