Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
programming recursive » programming recursion, programming reversible, programming secure
function computation » function computing, function decomposition, section computational
recursive complexity » recursion complexity, subrecursive complexity, recursions complexity
computation programming » communication programming, computation programmatic, computing programming
programming recursive » programming recursion, programming reversible, programming secure
function computation » function computing, function decomposition, section computational
recursive complexity » recursion complexity, subrecursive complexity, recursions complexity
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
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
Published 2008
Table of Contents:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Types for Incremental Computational Complexity -- Monotonic References for Efficient Gradual Typing...”View full text
Electronic
eBook
10
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
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
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Published 2013
Table of Contents:
“... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”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
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
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