|
|
Sold Out
Book Categories |
| Invited Talk: On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage | 1 | |
| Modularity of Completeness Revisited | 2 | |
| Automatic Termination Proofs with Transformation Orderings | 11 | |
| A Termination Ordering for Higher Order Rewrite Systems | 26 | |
| A Complete Characterization of Termination of [actual symbol not reproducible] | 41 | |
| On Narrowing, Refutation Proofs and Constraints | 56 | |
| Completion for Multiple Reduction Orderings | 71 | |
| Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility | 86 | |
| Invited Talk: Term Rewriting in Contemporary Resolution Theorem Proving | 101 | |
| [delta]o![epsilon] = 1: Optimizing Optimal [lambda]-Calculus Implementations | 102 | |
| Substitution Tree Indexing | 117 | |
| Concurrent Garbage Collection for Concurrent Rewriting | 132 | |
| Lazy Rewriting and Eager Machinery | 147 | |
| A Rewrite Mechanism for Logic Programs with Negation | 163 | |
| Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides | 179 | |
| A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems | 194 | |
| Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad | 210 | |
| Relating Two Categorical Models of Term Rewriting | 225 | |
| Towards a Domain Theory for Termination Proofs | 241 | |
| Invited Talk : Higher-Order Rewrite Systems | 256 | |
| Infinitary Lambda Calculi and Bohm Models | 257 | |
| Proving the Genericity Lemma by Leftmost Reduction is Simple | 271 | |
| (Head-)Normalization of Typeable Rewrite Systems | 279 | |
| Explicit Substitutions with de Bruijn's Levels | 294 | |
| A Restricted Form of Higher-Order Rewriting Applied to an HDL Semantics | 309 | |
| Rewrite Systems for Integer Arithmetic | 324 | |
| General Solution of Systems of Linear Diophantine Equations and Inequations | 339 | |
| Combination of Constraint Solving Techniques: An Algebraic Point of View | 352 | |
| Some Independence Results for Equational Unification (Extended Abstract) | 367 | |
| Regular Substitution Sets: A Means of Controlling E-Unification | 382 | |
| DISCOUNT: A System for Distributed Equational Deduction | 397 | |
| ASTRE: Towards a Fully Automated Program Transformation System | 403 | |
| Parallel ReDux [actual symbol not reproducible] PaReDuX | 408 | |
| STORM: A Many-to-One Associative-Commutative Matcher | 414 | |
| LEMMA: a System for Automated Synthesis of Recursive Programs in Equational Theories | 420 | |
| Generating Polynomial Orderings for Termination Proofs | 426 | |
| Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 | 432 | |
| Prototyping Completion with Constraints Using Computational Systems | 438 | |
| Guiding Term Reduction Through A Neural Network: Some Preliminary Results for the Group Theory | 444 | |
| Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results | 450 | |
| Problems in Rewriting III | 457 | |
| Author Index | 473 |
| Price | Condition | Delivery | Seller | Action |
| $104.64 | Digital |
| WonderClub |
Sajay Sharma
reviewed Rewriting Techniques and Applications on December 28, 2014 Rewriting Techniques and Applications
This book is very useful to the Computer Science Under graduate students.
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
Rewriting Techniques and Applications
X
This Item is in Your Inventory
Rewriting Techniques and Applications
X
You must be logged in to review the productsX
X
X
Add Rewriting Techniques and Applications, This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In add, Rewriting Techniques and Applications to the inventory that you are selling on WonderClubX
X
Add Rewriting Techniques and Applications, This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In add, Rewriting Techniques and Applications to your collection on WonderClub |
