|
|
Sold Out
Book Categories |
| Concurrent Constraint Programming | 1 | |
| Specifications Using Multiple-Conclusion Logic Programs | 3 | |
| Viewing a Program Transformation System at Work | 5 | |
| Proving Implications by Algebraic Approximation | 6 | |
| Sufficient Completeness and Parameterized Proofs by Induction | 23 | |
| Proving Behavioural Theorems with Standard First-Order Logic | 41 | |
| How to Realize LSE Narrowing | 59 | |
| Compositional Analysis for Equational Horn Programs | 77 | |
| Equation Solving in Projective Planes and Planar Ternary Rings | 95 | |
| From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics | 114 | |
| Concurrent Logic Programming as Uniform Linear Proofs | 133 | |
| Three-Valued Completion for Abductive Logic Programs | 150 | |
| A Sequential Reduction Strategy | 168 | |
| On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems | 186 | |
| Syntactical Analysis of Total Termination | 204 | |
| Logic Programs as Term Rewriting Systems | 223 | |
| Higher-Order Minimal Function Graphs | 242 | |
| Reasoning About Layered, Wildcard and Product Patterns | 253 | |
| Preserving Universal Termination Through Unfold/Fold | 269 | |
| A Logic for Variable Aliasing in Logic Programs | 287 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Cheron Kneedy
reviewed Algebraic and Logic Programming on December 31, 2012
Algebraic and Logic Programming
I read this book because a professor of mine, who was retiring, gave me this book because I had displayed an interest in the material. That professor was really good. I became a math major as a direct result of that action.
I learned about the elementary theory of congruences from this book. But it is referenced everywhere. I plan to read through more topics in this book later.
I have heard that it has an awesome discussion of the theory of continued fractions.
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 List
X
This item is in your Collection
Algebraic and Logic Programming
X
This Item is in Your Inventory
Algebraic and Logic Programming
X
You must be logged in to review the productsX
X
X
Add Algebraic and Logic Programming, , Algebraic and Logic Programming to the inventory that you are selling on WonderClubX
X
Add Algebraic and Logic Programming, , Algebraic and Logic Programming to your collection on WonderClub |