Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion computers » recursion chapter, generation computers, reflection computers
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion computers » recursion chapter, generation computers, reflection computers
1
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
2
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
3
Published 2005
Table of Contents:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”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