CURRENTLY SOLD OUT

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings by Tobias Nipkow (Paperback, 1998)

About this product

Product Information

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540643012
eBay Product ID (ePID)
94965195

Product Key Features

Book Title
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Author
Tobias Nipkow
Format
Paperback
Language
English
Topic
Computer Science, Mathematics
Publication Year
1998
Type
Textbook
Number of Pages
346 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
1379
Item Weight
1120g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Tobias Nipkow
Country/Region of Manufacture
Germany

Best Selling in Books

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books

The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)
5.0 out of 5 stars based on 6 product ratings
AU $21.98 New
AU $15.39 Used
Atomic Habits: the life-changing million-copy #1 bestseller by James Clear (Paperback, 2018)
4.8 out of 5 stars based on 25 product ratings
AU $19.85 New
AU $8.95 Used
The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)
4.5 out of 5 stars based on 21 product ratings
AU $21.51 New
---- Used
Become What You Are: Expanded Edition by Alan W. Watts (Paperback, 2003)
5.0 out of 5 stars based on 2 product ratings
AU $29.57 New
---- Used
Geronimo Stilton: #9 Fabumouse Vacation for Geronimo by Geronimo Stilton (Paperback, 2004)
No ratings or reviews yet.
AU $21.81 New
AU $9.00 Used
House of Leaves by Mark Z. Danielewski (Paperback, 2000)
5.0 out of 5 stars based on 6 product ratings
AU $59.38 New
---- Used
First Day by Andrew Daddo (Paperback, 2014)
No ratings or reviews yet.
AU $10.00 New
---- Used

Save on Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Books

The Orthodox Study Bible, Hardcover: Ancient Christianity Speaks to Today's Worl
AU $58.19
Trending at AU $65.12
The Book of Enoch Paperback Free Shipping AU
AU $17.97
Trending at AU $18.29
NEW Bluey: My Mum is the Best By Bluey (Hardcover) Picture Book FREE Shipping
AU $11.95
Trending at AU $15.72
The 2023 Ninja Dual Zone Air Fryer Cookbook: 1000 Days Simple, Delicious & Low C
AU $18.48
Trending at AU $19.14
Lonely Planet Vietnam | Paperback Book | NEW AU FREE SHIPPING AU
AU $27.88
Trending at AU $28.29
Animal Farm
AU $12.34
Trending at AU $13.46

Shop by category

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings by Tobias Nipkow (Paperback, 1998)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Books

The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)

Atomic Habits: the life-changing million-copy #1 bestseller by James Clear (Paperback, 2018)

The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)

Become What You Are: Expanded Edition by Alan W. Watts (Paperback, 2003)

Geronimo Stilton: #9 Fabumouse Vacation for Geronimo by Geronimo Stilton (Paperback, 2004)

House of Leaves by Mark Z. Danielewski (Paperback, 2000)

First Day by Andrew Daddo (Paperback, 2014)

Save on Books

The Orthodox Study Bible, Hardcover: Ancient Christianity Speaks to Today's Worl

The Book of Enoch Paperback Free Shipping AU

NEW Bluey: My Mum is the Best By Bluey (Hardcover) Picture Book FREE Shipping

The 2023 Ninja Dual Zone Air Fryer Cookbook: 1000 Days Simple, Delicious & Low C

Lonely Planet Vietnam | Paperback Book | NEW AU FREE SHIPPING AU

Animal Farm

You may also like

Paperbacks International Edition

Non-Fiction Paperback Fiction & Photography Techniques Books

Non-Fiction Management Techniques Paperback Fiction & Books

Non-Fiction Paperback Fiction & International Law Books

Paperback Adult Learning & University Books International Edition

Paperback Calendars (Current)