Close this alert
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science #1379)
Current price:
$54.99
This product is not returnable.
Publication Date: March 11th, 1998
Publisher:
Springer
ISBN:
9783540643012
Pages:
346
Usually Ships in 1 to 5 Days
Description
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.
Other Books in Series
Evolutionary Computation in Combinatorial Optimization: 24th European Conference, Evocop 2024, Held as Part of Evostar 2024, Aberystwyth, Uk, April 3- (Lecture Notes in Computer Science #1463)
Paperback
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 11th International Conference, Numgrid 2022 (Lecture Notes in Computational Science and Engineering #152)
Hardcover
Pattern Recognition and Machine Intelligence: 9th International Conference, Premi 2021, Kolkata, India, December 15-18, 2021, Proceedings (Lecture Notes in Computer Science #1310)
Paperback
Research in Computational Molecular Biology: 28th Annual International Conference, Recomb 2024, Cambridge, Ma, Usa, April 29-May 2, 2024, Proceedings (Lecture Notes in Computer Science #1461)
Paperback
Digital Forensics and Watermarking: 22nd International Workshop, Iwdw 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers (Lecture Notes in Computer Science #1451)
Paperback
Foundations and Practice of Security: 16th International Symposium, Fps 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science #1455)
Paperback
Foundations and Practice of Security: 16th International Symposium, Fps 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II (Lecture Notes in Computer Science #1455)
Paperback
Wisdom, Well-Being, Win-Win: 19th International Conference, Iconference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (Lecture Notes in Computer Science #1459)
Paperback
Wisdom, Well-Being, Win-Win: 19th International Conference, Iconference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II (Lecture Notes in Computer Science #1459)
Paperback
Wisdom, Well-Being, Win-Win: 19th International Conference, Iconference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I (Lecture Notes in Computer Science #1459)
Paperback
Topics in Cryptology - Ct-Rsa 2024: Cryptographers' Track at the Rsa Conference 2024, San Francisco, Ca, Usa, May 6-9, 2024, Proceedings (Lecture Notes in Computer Science #1464)
Paperback
Human Interface and the Management of Information: Thematic Area, Himi 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washing (Lecture Notes in Computer Science #1478)
Paperback
Integer Programming and Combinatorial Optimization: 25th International Conference, Ipco 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings (Lecture Notes in Computer Science #1467)
Paperback
Human Interface and the Management of Information: Thematic Area, Himi 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washing (Lecture Notes in Computer Science #1469)
Paperback
Human Interface and the Management of Information: Thematic Area, Himi 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washing (Lecture Notes in Computer Science #1469)
Paperback
Advances in Cryptology - Eurocrypt 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Swit (Lecture Notes in Computer Science #1465)
Paperback
Advances in Cryptology - Eurocrypt 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Swit (Lecture Notes in Computer Science #1465)
Paperback
Fast, Low-Resource, and Accurate Organ and Pan-Cancer Segmentation in Abdomen CT: Miccai Challenge, Flare 2023, Held in Conjunction with Miccai 2023, (Lecture Notes in Computer Science #1454)
Paperback
Value Engineering in Artificial Intelligence: First International Workshop, Vale 2023, Krakow, Poland, September 30, 2023, Proceedings (Lecture Notes in Computer Science #1452)
Paperback
Artificial Intelligence with and for Learning Sciences: First International Workshop, Wails 2024, Salerno, Italy, January 18-19, 2024, Proceedings (Lecture Notes in Computer Science #1454)
Paperback