Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
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 complexity » recursions complexity, recursive complexity, regulation complexity
complexity theories » complexity theory, complexity theoretic
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 complexity » recursions complexity, recursive complexity, regulation complexity
complexity theories » complexity theory, complexity theoretic
1
Gepubliceerd in 2006
Inhoudsopgave:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2007
Inhoudsopgave:
“... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2006
Inhoudsopgave:
“... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2007
Inhoudsopgave:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2006
Inhoudsopgave:
“... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...”Volledige tekst
Elektronisch
E-boek
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Gepubliceerd in 2006
Inhoudsopgave:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2015
Inhoudsopgave:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2010
Inhoudsopgave:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2008
Inhoudsopgave:
“... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2013
Inhoudsopgave:
“... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...”Volledige tekst
Elektronisch
E-boek