An edition of Rewriting Techniques and Applications
(2004)
Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)
1 edition
by Vincent van Oostrom
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Mar 12, 2014, Springer
paperback
366219564X 9783662195642
|
zzzz
Libraries near you:
WorldCat
|
|
2
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
2004, Springer London, Limited
in English
3540259791 9783540259794
|
zzzz
Libraries near you:
WorldCat
|
3
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)
August 5, 2004, Springer
Paperback
in English
- 1 edition
3540221530 9783540221531
|
aaaa
Libraries near you:
WorldCat
|
Book Details
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
ID Numbers
Community Reviews (0)
Feedback?
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 11, 2009 | Created by WorkBot | add works page |