Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
April 28, 2010 | History

Rewriting Techniques and Applications 1 edition

Cover of: Rewriting Techniques and Applications | Vincent van Oostrom

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Good grief. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)
1 edition

Published August 5, 2004 by Springer .
Written in English.

First Sentence

The size-change analysis of [5] can show termination of first-order functional programs whose parameter values have a well-founded size order.

The Physical Object

Format
Paperback
Number of pages
313
Dimensions
9.2 x 6.1 x 0.7 inches
Weight
1.2 pounds

ID Numbers

Open Library
OL9809734M
Internet Archive
rewritingtechniq2004oost
ISBN 10
3540221530
ISBN 13
9783540221531
Library Thing
4108001
Goodreads
5939196

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page