Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionals bounded » functions bounded, functionally grounded, functional bone
programs function » programs functional, programme function, programs fiction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
bounded https » bounded hops, bounded heaps, bounded hop
functionals bounded » functions bounded, functionally grounded, functional bone
programs function » programs functional, programme function, programs fiction
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
bounded https » bounded hops, bounded heaps, bounded hop
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“... Processes -- 6. Trees and the Art of Lower Bounds -- 7. Random Fourier Series and Trigonometric Sums, II...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Taula de continguts:
“...Part I Basics -- Part II Communication Complexity -- Part III Circuit Complexity -- Part IV Bounded...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
Publicat 2013
Taula de continguts:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Obtenir text complet
Electrònic
eBook
7
Publicat 2014
Taula de continguts:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“... Integral -- Integration -- Applications of Integration -- Functions of Bounded Variation -- The Stieltjes...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... in Logic Programs -- User-Definable Resource Bounds Analysis for Logic Programs -- Automatic Correctness...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Obtenir text complet
Electrònic
eBook
14
Publicat 2012
Taula de continguts:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“...-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
19
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicat 2008
Taula de continguts:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Obtenir text complet
Electrònic
eBook
20
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