Sold Out
Book Categories |
1 | Constraints and Constraint Solving: An Introduction | 1 |
A First Approach to Constraint Based Calculi | 2 | |
A Case Study of a Constraint System: Feature Constraints | 18 | |
Programming with Incomplete Constraint Solvers | 29 | |
Committed Choice: A More Realistic Approach | 33 | |
2 | Constraint Solving on Terms | 47 |
The Principle of Syntactic Methods | 48 | |
Unification Problems | 49 | |
Dis-Unification Problems | 70 | |
Ordering Constraints | 74 | |
Matching Constraints | 76 | |
Principles of Automata Based Constraint Solving | 78 | |
Presburger Arithmetic and Classical Word Automata | 79 | |
Typing Constraints and Tree Automata | 84 | |
Set Constraints and Tree Set Automata | 88 | |
Examples of Other Constraint Systems Using Tree Automata | 91 | |
3 | Combining Constraint Solving | 104 |
Classification of Constraint Systems and Combination Approaches | 105 | |
The Nelson-Oppen Combination Procedure | 112 | |
Combination of E-Unification Algorithms | 119 | |
The Logical and Algebraic Perspective | 129 | |
Generalizations | 140 | |
Optimization and Complexity Issues | 147 | |
Open Problems | 152 | |
4 | Constraints and Theorem Proving | 159 |
Equality Clauses | 160 | |
The Purely Equational Case: Rewriting and Completion | 166 | |
Superposition for General Clauses | 174 | |
Saturation Procedures | 186 | |
Paramodulation with Constrained Clauses | 189 | |
Paramodulation with Built-in Equational Theories | 192 | |
Effective Saturation of First-Order Theories | 194 | |
5 | Functional and Constraint Logic Programming | 202 |
A Rewriting Logic for Declarative Programming | 204 | |
Higher-Order Programming | 234 | |
Constraint Programming | 252 | |
6 | Building Industrial Applications with Constraint Programming | 271 |
Constraint Programming | 272 | |
The CHIP System | 278 | |
Application Studies | 280 | |
Industrial Applications | 280 | |
Case Studies | 286 | |
Application Framework | 298 | |
Analysis | 298 | |
Does CLP Deliver? | 301 | |
Limitations | 302 | |
Future Trends | 303 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionConstraints in Computational Logics. Theory and Applications
X
This Item is in Your InventoryConstraints in Computational Logics. Theory and Applications
X
You must be logged in to review the productsX
X
X
Add Constraints in Computational Logics. Theory and Applications, Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional , Constraints in Computational Logics. Theory and Applications to the inventory that you are selling on WonderClubX
X
Add Constraints in Computational Logics. Theory and Applications, Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional , Constraints in Computational Logics. Theory and Applications to your collection on WonderClub |