Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
function computational » functions computational, functional computational, function computation
programming recursion » programming decision, programming session, programming decisions
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
computational programming » computation programming, computational program, computing programming
function computational » functions computational, functional computational, function computation
programming recursion » programming decision, programming session, programming decisions
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
1
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Table of Contents:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Approximability -- Logspace Optimization Problems and Their Approximability Properties -- A Faster and Simpler 2...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... for Sand Automata -- A Bridge Between the Asynchronous Message Passing Model and Local Computations...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”View full text
Electronic
eBook
12
Table of Contents:
“.../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...”
View full text
View full text
Electronic
eBook