Sold Out
Book Categories |
Associative-Commutative Superposition | ||
A Calculus for Rippling | 15 | |
Equation Solving in Geometrical Theories | 31 | |
LSE Narrowing for Decreasing Conditional Term Rewrite Systems | 51 | |
Preserving Confluence for Rewrite Systems with Built-in Operations | 71 | |
Hierarchical Termination | 89 | |
Well-foundedness of Term Orderings | 106 | |
A New Characterisation of AC-Termination and Application | 124 | |
Relative Normalization in Orthogonal Expression Reduction Systems | 144 | |
On Termination and Confluence of Conditional Rewrite Systems | 166 | |
How to Transform Canonical Decreasing HCTRs into Equivalent Canonical TRSs | 186 | |
Termination for Restricted Derivations and Conditional Rewrite Systems | 206 | |
Rewriting for Preorder Relations | 223 | |
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems | 235 | |
A Conflict Between Call-by-Need Computation and Parallelism | 247 | |
The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables | 262 | |
Coherence for Cartesian Closed Categories: A Sequential Approach | 270 | |
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems | 296 | |
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems | 316 | |
The Transformation of Term Rewriting Systems Based on Well-formedness Preserving Mappings | 332 | |
Abstract Notions and Inference Systems for Proofs by Mathematical Induction | 353 | |
Author Index | 375 |
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 CollectionConditional and Typed Rewriting Systems
X
This Item is in Your InventoryConditional and Typed Rewriting Systems
X
You must be logged in to review the productsX
X
X
Add Conditional and Typed Rewriting Systems, This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume, Conditional and Typed Rewriting Systems to the inventory that you are selling on WonderClubX
X
Add Conditional and Typed Rewriting Systems, This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume, Conditional and Typed Rewriting Systems to your collection on WonderClub |