Sold Out
Book Categories |
Rewriting Logic and Maude: Concepts and Applications | 1 | |
Tree Automata and Term Rewrite Systems | 27 | |
Absolute Explicit Unification | 31 | |
Termination and Confluence of Higher-Order Rewrite Systems | 47 | |
A de Bruijn Notation for Higher-Order Rewriting | 62 | |
Rewriting Techniques in Theoretical Physics | 80 | |
Normal Forms and Reduction for Theories of Binary Relations | 95 | |
Parallelism Constraints | 110 | |
Linear Higher-Order Matching Is NP-Complete | 127 | |
Standardization and Confluence for a Lambda Calculus with Generalized Applications | 141 | |
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints | 156 | |
Word Problems and Confluence Problems for Restricted Semi-Thue Systems | 172 | |
The Explicit Representability of Implicit Generalizations | 187 | |
On the Word Problem for Combinators | 203 | |
An Algebra of Resolution | 214 | |
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems | 229 | |
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability | 246 | |
System Description: The Dependency Pair Method | 261 | |
REM (Reduce Elan Machine): Core of the New ELAN Compiler | 265 | |
TALP: A Tool for the Termination Analysis of Logic Programs | 270 | |
Author Index | 275 |
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 CollectionRewriting Techniques and Applications
X
This Item is in Your InventoryRewriting Techniques and Applications
X
You must be logged in to review the productsX
X
X
Add Rewriting Techniques and Applications, This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with, Rewriting Techniques and Applications to the inventory that you are selling on WonderClubX
X
Add Rewriting Techniques and Applications, This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with, Rewriting Techniques and Applications to your collection on WonderClub |