The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
Rewriting Techniques and Applications
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Technological breakthroughs have enabled complete genomic sequencing and proteomic study of many species, fueling exponential growth in the available biological data relevant to important biological functions. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, Cambridge University Press, Electronic Notes, International Conference, Elsevier Science, Springer Verlag, Domain Range, Journal of Functional Programming, Journal of Symbolic Computation, Principles of Programming Languages, Calculus of Algebraic Constructions, John Wiley, Protocol Analyzer, Information Processing Letters, Pierre-Etienne Moreau, Steven Eker, University of Illinois, Academic Press, Computer Security Foundations Workshop, Computer Society Press, Full Maude, Journal of Computer Security, Melo de Sousa, New York New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Technological breakthroughs have enabled complete genomic sequencing and proteomic study of many species, fueling exponential growth in the available biological data relevant to important biological functions. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, Cambridge University Press, Electronic Notes, International Conference, Elsevier Science, Springer Verlag, Domain Range, Journal of Functional Programming, Journal of Symbolic Computation, Principles of Programming Languages, Calculus of Algebraic Constructions, John Wiley, Protocol Analyzer, Information Processing Letters, Pierre-Etienne Moreau, Steven Eker, University of Illinois, Academic Press, Computer Security Foundations Workshop, Computer Society Press, Full Maude, Journal of Computer Security, Melo de Sousa, New York New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 44
books:
See all 44 books this book cites
- Term Rewriting and All That by Franz Baader on 5 pages
- Handbook of Automated Reasoning (2 Volume Set) by J. Alan Robinson on 5 pages
- The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by H.P. Barendregt on page 105, page 122, and page 481
- Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science) by Agostino Cortesi on page 163, and Back Matter
- Formal Languages (Computer science classics) by Arto Salomaa on page 196, and page 497
See all 44 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
