Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
logical functionals » logical functions, local functionals, lexical functional
computing logical » computing logic, computing biological, computing ecological
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
logical functionals » logical functions, local functionals, lexical functional
computing logical » computing logic, computing biological, computing ecological
function https » functions https, fiction https
1
Publicado 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Ligazón do recurso
Electrónico
eBook
3
4
Publicado 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Ligazón do recurso
Electrónico
eBook
7
8
Publicado 2012
Table of Contents:
“... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2006
Table of Contents:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2008
Table of Contents:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2015
Table of Contents:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Ligazón do recurso
Electrónico
eBook