My Wish Lists Login / Join

Lecture Notes in Computer Science

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

By: Hubert Comon (Editor)

Write A Review

Paperback | 14 May 1997

At a Glance

Paperback
360 Pages

Dimensions(cm)
23.39 x 15.6 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Algebra Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Databases Data Capture & Analysis

Artificial Intelligence Compilers & Interpreters

Well behaved search and the Robbins problem	p. 1
Goal-directed completion using SOUR graphs	p. 8
Shostak's congruence closure as completion	p. 23
Conditional equational specifications of data types with partial operations for inductive theorem proving	p. 38
Cross-sections for finitely presented monolids with decidable work problems	p. 53
New undecidability results for finitely presented monoids	p. 68
On the property of preserving regularity for string-rewriting systems	p. 83
Rewrite systems for natural, integral, and rational arithmetic	p. 98
D-bases for polynomial ideals over commutative Noetherian rings	p. 113
On the word problem for free lattices	p. 128
A total ground path ordering for providing termination of AC rewrite systems	p. 142
Proving innermost normalisation automatically	p. 157
Termination of context-sensitive rewriting	p. 172
A new parallel closed condition for Church-Rosser of left-linear term rewriting systems	p. 187
Innocuous constructor-sharing combinations	p. 202
Scott's conjecture is true, position sensitive weights	p. 217
Two dimensional rewriting	p. 228
A complete axiomatisation for the inclusion of series-parallel partial orders	p. 230
Undecidability of the first order theory of one-step right ground rewriting	p. 241
The first-order theory of one step rewriting in linear Noetherian systems is undecidable	p. 254
Solving linear Diophantine equations using the geometric structure of the solution space	p. 269
A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms	p. 284
Effective reduction and conversion strategies for combinators	p. 299
Finite family developments	p. 308
Prototyping combination of unification algorithms with the ELAN rule-based programming language	p. 323
The invariant package of MAS	p. 327
Opal: A system for computing noncommutative Grobner bases	p. 327
TRAM: an abstract machine for order-sorted conditional term rewriting systems	p. 335
Author Index	p. 339
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Nexus

A Brief History of Information Networks from the Stone Age to AI

Wise AI

Using powerful technology in a deeply human way

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

We Are Not Machines

The Fight for the Future of Work

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

Negotiating the Industrial Metaverse

A Legal Guide to Industry 4.0

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

AI Governance

The Executive Handbook for Safe and Responsible AI

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

AI for Public Relations

A How-To Guide for Implementation and Management

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Classical Machine Learning

A Practical Guide Using Python

Artificially Yours

Real Friendship in a World of Chatbots

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Generative Artificial Intelligence and English-Medium Education

Elements in Generative AI in Education

Generative Artificial Intelligence and English-Medium Education

Elements in Generative AI in Education

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Teachers as AI Developers

Elements in Generative AI in Education

Teachers as AI Developers

Elements in Generative AI in Education

This product is categorised by