---
product_id: 16882555
title: "Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings"
brand: "p narendran"
price: "952690₫"
currency: VND
in_stock: true
category: "Paperback"
url: https://www.desertcart.vn/products/16882555-rewriting-techniques-and-applications-10th-international-conference-rta-99-trento
store_origin: VN
region: Vietnam
---

# Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

**Brand:** p narendran
**Price:** 952690₫
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings by p narendran
- **How much does it cost?** 952690₫ with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.vn](https://www.desertcart.vn/products/16882555-rewriting-techniques-and-applications-10th-international-conference-rta-99-trento)

## Best For

- p narendran enthusiasts

## Why This Product

- Trusted p narendran brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation,deductionandhigher-orderrewriting,graphs,complexity,tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India,Israel, Italy,Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee.

## Features

- Rewriting Techniques and Applications 10th International Conference Rta 99 Trento Italy July 2 4 1999 Proceedings

## Images

![Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings - Image 1](https://images-na.ssl-images-amazon.com/images/I/41r36BG2H1L.jpg)

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://www.desertcart.vn/products/16882555-rewriting-techniques-and-applications-10th-international-conference-rta-99-trento](https://www.desertcart.vn/products/16882555-rewriting-techniques-and-applications-10th-international-conference-rta-99-trento)

---

*Product available on Desertcart Vietnam*
*Store origin: VN*
*Last updated: 2026-05-19*