Rewriting techniques and applications : 12th international conference...

Rewriting techniques and applications : 12th international conference...
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:1052986510
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Rewriting techniques and applications : 12th international conference... by :

Download or read book Rewriting techniques and applications : 12th international conference... written by and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


Rewriting techniques and applications : 12th international conference... Related Books

Rewriting techniques and applications : 12th international conference...
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 2001 - Publisher:

GET EBOOK

Rewriting Techniques and Applications
Language: en
Pages: 368
Authors: Aart Middeldorp
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Net
12th International Conference on Rewriting Techniques and Applications (RTA 2001)
Language: en
Pages: 137
Authors: RTA
Categories:
Type: BOOK - Published: 2003 - Publisher:

GET EBOOK

Formal Methods and Software Engineering
Language: en
Pages: 693
Authors: Jin Song Dong
Categories: Computers
Type: BOOK - Published: 2003-10-27 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003
Algebraic Methodology and Software Technology
Language: en
Pages: 399
Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 2006-09-27 - Publisher: Springer

GET EBOOK

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers