Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
611	The Computer Science Handbook Michael Young February 6, 2015 Contents 1 Add to Reading List Source URL: www.thecshandbook.com Language: English - Date: 2015-02-07 02:55:58 Theoretical computer science Software engineering Search algorithms Stack Priority queue Binary search algorithm Algorithm Heap Recursion Computing Computer programming Abstract data types
612	Representing Cyclic Structures as Nested Datatypes Neil Ghani1 , Makoto Hamana2 , Tarmo Uustalu3 , and Varmo Vene4 1 School of Computer Science and IT, Univ. of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-03-26 08:25:14 Procedural programming languages Recursion Higher-order functions Data types Functional languages Fold Cyclic group CLIST Cyclic Software engineering Computing Computer programming
613	Periodical check of the RC detection loop MYLAPS recommends testing the detection loop on a regular basis AND before every event. 1) Before starting:  Add to Reading List Source URL: www.bbksoftware.com Language: English - Date: 2012-08-02 06:34:48 Radio-frequency identification Technology Infinite loop Recursion Transponder Telecommunications engineering Electronic engineering Radar
614	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
615	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35 Functional programming Algebraic topology Fold Recursion Valuation Sheaf Append Monad Natural deduction Abstract algebra Software engineering Declarative programming
616	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-19 16:17:18 Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics
617	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
618	Introduction to: Computers & Programming: Recursion Adam Meyers New York University Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-04-27 10:23:03 Recursion Programming idioms Computability theory Mathematical logic Theoretical computer science Infinite loop Recursive definition Iteration Subroutine Computer programming Software engineering Computing
619	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
620	Representing Cyclic Structures as Nested Datatypes Neil Ghani1 , Makoto Hamana2 , Tarmo Uustalu3 , and Varmo Vene4 1 School of Computer Science and IT, Univ. of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1 Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-03-23 13:23:38 Procedural programming languages Recursion Higher-order functions Data types Functional languages Fold Cyclic group CLIST Cyclic Software engineering Computing Computer programming

UPDATE