+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Rewriting Techniques and Applications : 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings - Jieh Hsiang

Rewriting Techniques and Applications

6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings

By: Jieh Hsiang (Editor)

Paperback Published: 22nd March 1995
ISBN: 9783540592006
Number Of Pages: 480

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 10 to 15 business days

Earn 317 Qantas Points
on this Book

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 addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.
The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.

Invited Talk: On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritagep. 1
Modularity of Completeness Revisitedp. 2
Automatic Termination Proofs with Transformation Orderingsp. 11
A Termination Ordering for Higher Order Rewrite Systemsp. 26
A Complete Characterization of Termination of [actual symbol not reproducible]p. 41
On Narrowing, Refutation Proofs and Constraintsp. 56
Completion for Multiple Reduction Orderingsp. 71
Towards an Efficient Construction of Test Sets for Deciding Ground Reducibilityp. 86
Invited Talk: Term Rewriting in Contemporary Resolution Theorem Provingp. 101
[delta]o![epsilon] = 1: Optimizing Optimal [lambda]-Calculus Implementationsp. 102
Substitution Tree Indexingp. 117
Concurrent Garbage Collection for Concurrent Rewritingp. 132
Lazy Rewriting and Eager Machineryp. 147
A Rewrite Mechanism for Logic Programs with Negationp. 163
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sidesp. 179
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systemsp. 194
Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonadp. 210
Relating Two Categorical Models of Term Rewritingp. 225
Towards a Domain Theory for Termination Proofsp. 241
Invited Talk : Higher-Order Rewrite Systemsp. 256
Infinitary Lambda Calculi and Bohm Modelsp. 257
Proving the Genericity Lemma by Leftmost Reduction is Simplep. 271
(Head-)Normalization of Typeable Rewrite Systemsp. 279
Explicit Substitutions with de Bruijn's Levelsp. 294
A Restricted Form of Higher-Order Rewriting Applied to an HDL Semanticsp. 309
Rewrite Systems for Integer Arithmeticp. 324
General Solution of Systems of Linear Diophantine Equations and Inequationsp. 339
Combination of Constraint Solving Techniques: An Algebraic Point of Viewp. 352
Some Independence Results for Equational Unification (Extended Abstract)p. 367
Regular Substitution Sets: A Means of Controlling E-Unificationp. 382
DISCOUNT: A System for Distributed Equational Deductionp. 397
ASTRE: Towards a Fully Automated Program Transformation Systemp. 403
Parallel ReDux [actual symbol not reproducible] PaReDuXp. 408
STORM: A Many-to-One Associative-Commutative Matcherp. 414
LEMMA: a System for Automated Synthesis of Recursive Programs in Equational Theoriesp. 420
Generating Polynomial Orderings for Termination Proofsp. 426
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2p. 432
Prototyping Completion with Constraints Using Computational Systemsp. 438
Guiding Term Reduction Through A Neural Network: Some Preliminary Results for the Group Theoryp. 444
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Resultsp. 450
Problems in Rewriting IIIp. 457
Author Indexp. 473
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540592006
ISBN-10: 3540592008
Series: Lecture Notes in Physics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 480
Published: 22nd March 1995
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.52
Weight (kg): 0.68

Earn 317 Qantas Points
on this Book