Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function proof » functions proof, functions proofs, function probe
proof function » roof functions, proof auction, profit function
function https » functions https, fiction https
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function proof » functions proof, functions proofs, function probe
proof function » roof functions, proof auction, profit function
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”View full text
Electronic
eBook
7
Published 2012
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
9
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Symbols -- A New Proof of an Ellis-Gohberg Theorem on Orthogonal Matrix Functions Related to the Nehari...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
View full text
View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”View full text
Electronic
eBook
14
Table of Contents:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”View full text
Electronic
eBook
17
Table of Contents:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”View full text
Electronic
eBook