Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
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 simple » regression simple, discussion simple, reaction simple
simple theory » sample theory, simple story, simons theory
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 simple » regression simple, discussion simple, reaction simple
simple theory » sample theory, simple story, simons theory
1
Publicat 2008
Taula de continguts:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”Obtenir text complet
Electrònic
eBook
9
Publicat 2012
Taula de continguts:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... -- Commutativity of Reducers -- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling -- Analysis...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... -- Suboptimal Recursive Methodology for Takagi-Sugeno Fuzzy Models Identification -- Complexity Reduction...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...”Obtenir text complet
Electrònic
eBook
15
Publicat 2013
Taula de continguts:
“... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...”Obtenir text complet
Electrònic
eBook