Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092636
Price: 51.36 EUR
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783540643012

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings

Tobias Nipkow

Language

English

Book Paperback

Libristo code: 02092636

Publishers Springer, Berlin, November 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Full description

Libristo code: 02092636

125 b

51.36 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Avec un grand pouvoir vient une grande responsabilité. Et pour A.I. Doctor ? Chang Rok Jeong

Paperback

27.54 €

Dise?o e implementación de un acoplador direccional de microlínea Héctor Bastidas Vallejo

Paperback

77.70 €

La herencia de Darwin : la evolución en nuestra visión del mundo Chris Buskes

Paperback

35.08 €

MusiX 2. Testgenerator (CD-ROM und Audio-CD). Ausgabe Deutschland und Bayern Markus Detterbeck

Digital CD

53.50 €

Encyclopedie Moderne, Ou Dictionnaire Abrege Des Sciences, Des Lettres Et Des Arts. Tome 5 Courtin-E

Paperback

37.89 €

David Maria Turoldo. Vita di un poeta ribelle Mario Lancisi

Paperback

32.46 €

Saisissants pop-up - Océan (NE) David Hawcock

Hardback

15.77 €

Ersatzgesetzgeber oder nicht? Die problematische Stellung des Bundesverfassungsgerichts im politischen System der Bundesrepublik Deutschland Stefan Wagner

Paperback

39.90 €

Genfer Novellen Rudolf Töpffer

Paperback

11.65 €

Schneider - Arzneidrogen Theodor Dingermann

Paperback

63.73 €

Considérations sur l'asthme Ch. Viguerie

Paperback

10.75 €

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.