Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
programs complete » programs incomplete, progress complete, programs complex
complete https » complexity https, complete hands, complete heap
https function » its function, sites function, ups function
function computing » education computing, generation computing
programs complete » programs incomplete, progress complete, programs complex
complete https » complexity https, complete hands, complete heap
https function » its function, sites function, ups function
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
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
3
Subjects:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
16
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
20
Table of Contents:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text
View full text
Electronic
eBook