Rewriting Techniques and Applications

13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

By: Sophie Tison (Editor)

Write A Review

Paperback | 10 July 2002

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987),Chapel Hill (1989),Como (1991),Montreal (1993),Kaise- lautern (1995),Rutgers (1996),Sitges (1997),Tsukuba (1998),Trento (1999), Norwich (2000),and Utrecht (2001). A total of 20 regular papers,2 application papers and 4 system descriptions were selected for presentation from 49 submissions from Argentina (1),Brazil 2 1 5 ( ),Czech Republic (1),France (13),Germany (8),Israel ( ),Italy (1 ),Japan 3 3 6 1 (6),The Netherlands (2),Poland (1),Portugal (1 ),Rumania (1),Spain (4),UK 3 5 1 1 ( ),Uruguay ( ),USA (5 ),Venezuela (1). The program committee awarded 6 2 2 the best paper prize to Paul-Andr´ e Melli` es for his paper Residual Theory Re- sited. This paper presents an elegant and subtle generalization of Jean-Jacques L´ evy's residual theory. I am especially grateful to the invited speakers Franz Baader,John Mitchell, and Natara jan Shankar for accepting our invitation to present us their insights into their research areas.

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 $0.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 Algebra Medicine Medicine in General Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Algorithms & Data Structures Programming & Scripting Languages Databases

Data Capture & Analysis Computer Science Artificial Intelligence Computer Architecture & Logic Design Compilers & Interpreters Mathematical Theory of Computation Maths for Computer Scientists

Invited Talks
Combining Shostak Theories	p. 1
Multiset Rewriting and Security Protocol Analysis	p. 19
Engineering of Logics for the Content-Based Representation of Information	p. 23
Regular Papers, Application Papers
Axiomatic Rewriting Theory VI Residual Theory Revisited	p. 24
Static Analysis of Modularity of ß-Reduction in the Hyperbalanced ?-Calculus	p. 51
Exceptions in the Rewriting Calculus	p. 66
Deriving Focused Lattice Calculi	p. 83
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property	p. 98
Decidability and Closure Properties of Equational Tree Languages	p. 114
Regular Sets of Descendants by Some Rewrite Strategies	p. 129
Rewrite Games	p. 144
An Extensional Böhm Model	p. 159
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution	p. 174
Tradeoffs in the Intensional Representation of Lambda Terms	p. 192
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae	p. 207
Conditions for Efficiency Improvement by Tree Transducer Composition	p. 222
Rewriting Strategies for Instruction Selection	p. 237
Probabilistic Rewrite Strategies. Applications to ELAN	p. 252
Loops of Superexponential Lengths in One-Rule String Rewriting	p. 267
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems	p. 281
Termination of (Canonical) Context-Sensitive Rewriting	p. 296
Atomic Set Constraints with Projection	p. 311
Currying Second-Order Unification Problems	p. 326
A Decidable Variant of Higher Order Matching	p. 340
Combining Decision Procedures for Positive Theories Sharing Constructors	p. 352
System Descriptions
JITty: A Rewriter with Strategy Annotations	p. 367
Autowrite: A Tool for Checking Properties of Term Rewriting Systems	p. 371
TTSLI: An Implementation of Tree-Tuple Synchronized Languages	p. 376
in²: A Graphical Interpreter for Interaction Nets	p. 380
Author Index	p. 387
Table of Contents provided by Publisher. All Rights Reserved.

Rewriting Techniques and Applications

13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Observability Engineering

Achieving Production Excellence

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

The Psychology of Software Teams

Python Crash Course

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

The Psychology of Software Teams

Computational Intelligence

River Publishers Series in Mathematical, Statistical and Computational Modelling for Engineering

The Velocity Paradox

Why the Agile Industrial Complex is Subsiding and How AI is Exposing the Cracks

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

The C Programming Language

Prentice Hall Software

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Addiction by Design

Machine Gambling in Las Vegas

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

This product is categorised by