Research Catalog

Title

Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 1997 : proceedings / Hubert Comon (ed.).

Publication

Berlin ; New York : Springer, [1997], ©1997.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Comon, Hubert.
• International Conference on Rewriting Techniques and Applications (8th : 1997 : Sitges, Spain)

Description

xi, 338 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1232

Uniform Title

Lecture notes in computer science ; 1232.

Subject

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

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Well behaved search and the Robbins problem / W. McCune -- Goal-directed completion using SOUR graphs / C. Lynch -- Shostak's congruence closure as completion / D. Kapur -- Conditional equational specifications of data types with partial operations for inductive theorem proving / U. Kuhler and C.-P. Wirth -- Cross-sections for finitely presented monolids with decidable work problems / F. Otto, M. Katsura and Y. Kobayashi -- New undecidability results for finitely presented monoids / A. Sattler-Klein -- On the property of preserving regularity for string-rewriting systems / F. Otto -- Rewrite systems for natural, integral, and rational arithmetic / E. Contejean, C. Marche and L. Rabehasaina -- D-bases for polynomial ideals over commutative Noetherian rings / L. Bachmair and A. Tiwari -- On the word problem for free lattices / G. Struth -- A total ground path ordering for providing termination of AC rewrite systems / D. Kapur and G. Sivakumar --
• Proving innermost normalisation automatically / T. Arts and J. Giesl -- Termination of context-sensitive rewriting / H. Zantema -- A new parallel closed condition for Church-Rosser of left-linear term rewriting systems / M. Oyamaguchi and Y. Ohta -- Innocuous constructor-sharing combinations / N. Dershowitz -- Scott's conjecture is true, position sensitive weights / S. Perlo-Freeman and P. Prohle -- Two dimensional rewriting / Y. Lafont -- A complete axiomatisation for the inclusion of series-parallel partial orders / D. Bechet, P. de Groote and C. Retore -- Undecidability of the first order theory of one-step right ground rewriting / J. Marcinkowski -- The first-order theory of one step rewriting in linear Noetherian systems is undecidable / S. Vorobyov -- Solving linear Diophantine equations using the geometric structure of the solution space / A. P. Tomas and M. Filgueiras --
• A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms / K. Schulz -- Effective reduction and conversion strategies for combinators / R. Statman -- Finite family developments / V. van Oostrom -- Prototyping combination of unification algorithms with the ELAN rule-based programming language / C. Ringeissen -- The invariant package of MAS / M. Gobel -- Opal: A system for computing noncommutative Grobner bases / E. Green, L. Heath and B. Keller -- TRAM: an abstract machine for order-sorted conditional term rewriting systems / K. Ogata, K. Ohhara and K. Futatsugi.

ISBN

3540629505 (softcover : alk. paper)

LCCN

97018882

OCLC

ocm36841604

Owning Institutions

Columbia University Libraries