Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computing » construction computing, constructive computation, constructive community
programming constraint » programming constrained, programming unconstrained, programming constructs
computing programming » computer programming, computers programming
constraint functions » constraints functions, constraint functional, constrained functions
constructive computing » construction computing, constructive computation, constructive community
programming constraint » programming constrained, programming unconstrained, programming constructs
computing programming » computer programming, computers programming
constraint functions » constraints functions, constraint functional, constrained functions
1
Published 2008
Table of Contents:
“... Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”View full text
Electronic
eBook
14
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
15
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”View full text
Electronic
eBook