Items related to Term Rewriting: French Spring School of Theoretical...
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909) - Softcover
Synopsis
This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.
This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1995
- ISBN 10 3540593403
- ISBN 13 9783540593409
- BindingPaperback
- LanguageEnglish
- Number of pages236
- EditorComon Hubert, Jouannaud Jean-Pierre
Search results for Term Rewriting: French Spring School of Theoretical...
Stock Image
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a-1935
Quantity: 1 available
Stock Image
Term Rewriting: French Spring School Of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (lecture Notes In Computer Science)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268021
Quantity: 1 available
Stock Image
Term Rewriting: French Spring School Of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (lecture Notes In Computer Science)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-226490
Quantity: 1 available
Stock Image
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Seller Inventory # SHUB268021
Quantity: 1 available
Stock Image
Term Rewriting
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 236. Seller Inventory # 263067742
Quantity: 1 available
Stock Image
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020171761
Quantity: Over 20 available
Stock Image
Term Rewriting
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used. pp. 236 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5861505
Quantity: 1 available
Stock Image
Term Rewriting
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: Used. pp. 236. Seller Inventory # 183067732
Quantity: 1 available
Stock Image
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540593409_new
Quantity: Over 20 available
Seller Image
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published by
Springer Berlin Heidelberg, 1995
ISBN 10: 3540593403
ISBN 13: 9783540593409
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community. Seller Inventory # 9783540593409
Quantity: 1 available