Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraints » programming constraint, programming constrained, programming constructs
constraints constraint » constraints consistent
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraints » programming constraint, programming constrained, programming constructs
constraints constraint » constraints consistent
1
Table of Contents:
“...Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful...”
View full text
View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”View full text
Electronic
eBook
6
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
7
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
9
by Mohammad Pour, Shahrzad
Published 2009
Subjects:
“...Computer algorithms...”Published 2009
View full text
Thesis
10
Published 2012
Table of Contents:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook