Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
131	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
132	Positive Active XML∗ Serge Abiteboul Omar Benjelloun Tova Milo Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2004-03-24 05:00:00 Recursion Theoretical computer science Query languages Conjunctive query Database theory B-tree XQuery
133	Synchronous Multiparty Session Types Andi Bejleri Nobuko Yoshida Imperial College London Aim of this work Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Subroutines C++ Data types Procedural programming languages C++ classes Const ALGOL 68 Recursion Channel Parameter
134	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity
135	N2904=Stroustrup Defining default copy and move N2904= Add to Reading List Source URL: www.open-std.org Language: English C++ C++11 Copy constructor Constructor C++ classes Struct Const Pointer Assignment operator Initialization ALGOL 68 Recursion
136	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
137	CPSC 211 Data Structures & Implementations (c) Texas A&M UniversityCompiling and Running a C Program in Unix Simple scenario in which your program is in a single Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2006-08-22 07:22:25 Subroutines Printf format string Scanf format string Recursion Global variable C standard library Function prototype Type signature Getopt Function pointer
138	Transformation and Analysis of Functional Programs Neil Mitchell Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Subroutines Programming paradigms Functional languages Generic programming Inline expansion Mathematical optimization Recursion Haskell Comparison of C Sharp and Java Functional programming
139	SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by Add to Reading List Source URL: www.douglasbaldwin.com Language: English - Date: 2010-10-05 00:49:38 Partial differential equations Solitons Scattering theory Integrable systems Ordinary differential equations Inverse scattering transform Differential equation CamassaHolm equation Kortewegde Vries equation KaupKupershmidt equation Inverse scattering problem Equation solving
140	LAD Conferences L a b o r a t o i r e d e r e c h e r c h e Add to Reading List Source URL: www.asymmetryproject.uqam.ca Language: English - Date: 2009-05-06 12:42:08 Syntax Noam Chomsky Generative linguistics Linguistics Philosophy of language Minimalist program Merge Recursion

UPDATE