Rewriting Techniques and Applications

12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

By: Aart Middeldorp (Editor)

Write A Review

Paperback | 9 May 2001

At a Glance

Paperback
380 Pages

Dimensions(cm)
22.86 x 15.24 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 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.

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 Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Medicine Medicine in General Compilers & Interpreters Computer Science

Invited Talks
Computing and Proving	p. 1
Rewriting for Deduction	p. 2
Regular Papers
Universal Interaction Systems with Only Two Agents	p. 3
General Recursion on Second Order Term Algebras	p. 15
Beta Reduction Constraints	p. 31
From Higher-Order to First-Order Rewriting	p. 47
Combining Pattern E-Unification Algorithms	p. 63
Matching Power	p. 77
Dependency Pairs for Equational Rewriting	p. 93
Termination Proofs by Context-Dependent Interpretations	p. 108
Uniform Normalisation beyond Orthogonality	p. 122
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order	p. 137
Relating Accumulative and Non-accumulative Functional Programs	p. 154
Context Unification and Traversal Equations	p. 169
Weakly Regular Relations and Applications	p. 185
On the Parallel Complexity of Tree Automata	p. 201
Transfinite Rewriting Semantics for Term Rewriting Systems	p. 216
Goal-Directed E-Unification	p. 231
The Unification Problem for Confluent Right-Ground Term Rewriting
Systems	p. 246
On Termination of Higher-Order Rewriting	p. 261
Matching with Free Function Symbols - A Simple Extension of Matching?	p. 276
Deriving Focused Calculi for Transitive Relations	p. 291
A Formalised First-Order Confluence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost)	p. 306
A Normal Form for Church-Rosser Language Systems	p. 322
Confluence and Termination of Simply Typed Term Rewriting Systems	p. 338
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE	p. 353
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5)	p. 357
Author Index	p. 363
Table of Contents provided by Publisher. All Rights Reserved.

Rewriting Techniques and Applications

12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

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

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

AI for Business

A Guide to AI Adoption

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Supremacy

AI, ChatGPT and the Race that Will Change the World

New Beginnings

why change is so difficult and how to achieve it

Deep Learning for Intrusion Detection

Techniques and Applications

Python All-in-One For Dummies

3rd Edition

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

AI Engineering

Building Applications with Foundation Models

The Shortest History of AI

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

This product is categorised by