1
Published 2006
Table of Contents: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
View full text
Electronic eBook
7
Subjects: ...Computers....
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Types for Incremental Computational Complexity -- Monotonic References for Efficient Gradual Typing...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... for Non-local Control Flow and Block Scope Variables -- The Parametric Ordinal-Recursive Complexity...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook