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

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
Computing and Combinatorics
Language: en
Pages: 508
Authors: Takao Asano
Categories: Computers
Type: BOOK - Published: 2003-05-21 - Publisher: Springer

GET EBOOK

The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON ’99), which was held i
Interactive Theorem Proving
Language: en
Pages: 572
Authors: Gerwin Klein
Categories: Mathematics
Type: BOOK - Published: 2014-06-28 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic,