Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel ml » parallel _, parallel a, parallel 3d
ml program » xml programs, fly program, hol program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel ml » parallel _, parallel a, parallel 3d
ml program » xml programs, fly program, hol program
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”View full text
Electronic
eBook