Research Catalog

Title

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed.

Author

International Conference on Rewriting Techniques and Applications (6th : 1995 : Kaiserslautern, Germany)

Publication

Berlin ; New York : Springer-Verlag, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Hsiang, Jieh, 1954-

Description

xii, 471 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 914

Uniform Title

Lecture notes in computer science ; 914.

Subjects

• Computer programming > Congresses
• Algorithms > Congresses
• Rewriting systems (Computer science) > Congresses

Note

• Includes index.

Contents

• Invited Talk: On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage / Yuri Matiyasevich -- Modularity of Completeness Revisited / Massimo Marchiori -- Automatic Termination Proofs with Transformation Orderings / Joachim Steinbach -- A Termination Ordering for Higher Order Rewrite Systems / Olav Lysne and Javier Piris -- A Complete Characterization of Termination of [actual symbol not reproducible] / Ilans Zantema and Alfons Geser -- On Narrowing, Refutation Proofs and Constraints / Robert Nieuwenhuis -- Completion for Multiple Reduction Orderings / Masahito Kurihara, Hisashi Kondo and Azuma Ohuchi -- Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility / Klaus Schmid and Roland Fettig -- Invited Talk: Term Rewriting in Contemporary Resolution Theorem Proving / Mark E. Stickel -- [delta]o![epsilon] = 1: Optimizing Optimal [lambda]-Calculus Implementations / Andrea Asperti -- Substitution Tree Indexing / Peter Graf.
• Concurrent Garbage Collection for Concurrent Rewriting / Ilies Alouini -- Lazy Rewriting and Eager Machinery / J. F. Th. Kamperman and H. R. Walters -- A Rewrite Mechanism for Logic Programs with Negation / Siva Anantharaman and Gilles Richard -- Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides / Taro Suzuki, Aart Middeldorp and Tetsuo Ida -- A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems / Geraud Senizergues -- Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad / Wolfgang Gehrke -- Relating Two Categorical Models of Term Rewriting / A. Corradini, F. Gadducci and U. Montanari -- Towards a Domain Theory for Termination Proofs / Stefan Kahrs -- Invited Talk : Higher-Order Rewrite Systems / Tobias Nipkow -- Infinitary Lambda Calculi and Bohm Models / Richard Kennaway, Jan Willem Klop, Ronan Sleep and Fer-Jan de Vries.
• Proving the Genericity Lemma by Leftmost Reduction is Simple / Jan Kuper -- (Head-)Normalization of Typeable Rewrite Systems / Steffen van Bakel and Maribel Fernandez -- Explicit Substitutions with de Bruijn's Levels / Pierre Lescanne and Jocelyne Rouyer-Degli -- A Restricted Form of Higher-Order Rewriting Applied to an HDL Semantics / Richard J. Boulton -- Rewrite Systems for Integer Arithmetic / H. R. Walters and H. Zantema -- General Solution of Systems of Linear Diophantine Equations and Inequations / H. Abdulrab and M. Maksimenko -- Combination of Constraint Solving Techniques: An Algebraic Point of View / Franz Baader and Klaus U. Schulz -- Some Independence Results for Equational Unification (Extended Abstract) / Friedrich Otto, Paliath Narendran and Daniel J. Dougherty -- Regular Substitution Sets: A Means of Controlling E-Unification / Jochen Burghardt -- DISCOUNT: A System for Distributed Equational Deduction / Jurgen Avenhaus, Jorg Denzinger and Matthias Fuchs.
• ASTRE: Towards a Fully Automated Program Transformation System / Francoise Bellegarde -- Parallel ReDux [actual symbol not reproducible] PaReDuX / Reinhard Bundgen, Manfred Gobel and Wolfgang Kuchlin -- STORM: A Many-to-One Associative-Commutative Matcher / Ta Chen and Siva Anantharaman -- LEMMA: a System for Automated Synthesis of Recursive Programs in Equational Theories / Jacques Chazarain and Serge Muller -- Generating Polynomial Orderings for Termination Proofs / Jurgen Giesl -- Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 / M. Randall Holmes -- Prototyping Completion with Constraints Using Computational Systems / Helene Kirchner and Pierre-Etienne Moreau -- Guiding Term Reduction Through A Neural Network: Some Preliminary Results for the Group Theory / Alberto Paccanaro -- Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results / Mark E. Stickel and Hantao Zhang.
• Problems in Rewriting III / Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.

ISBN

• 3540592008 (Berlin : acid-free paper)
• 0387592008 (New York : acid-free paper)

LCCN

95013007

OCLC

ocm32236442

Owning Institutions

Columbia University Libraries