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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The AI Con

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

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Speak Data

Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

Advanced Computational Intelligence Techniques for Engineers

Crypto Engine Design

Cyber Shorts

Quantum Computing

The Past, the Present, and the Future

Crypto Engine Design

Cyber Shorts

The Shortest History of AI

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

This product is categorised by