Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 9783540629504
Price: 19173 HUF
Availability: InStock

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Szerző: Hubert Comon

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 173 Ft

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Tech...

Információk a könyvről

Szerző

Hubert Comon

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

348

EAN

9783540629504

ISBN

3540629505

Enbook ID

02092633

Kiadó

Springer, Berlin

Súly

469

Méretek

156 x 234 x 18

Teljes leírás

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Rewriting Techniques and Applications

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták