Books > Computing & IT > Computer programming
|
Buy Now
Term Rewriting - French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Paperback, 1995 ed.)
Loot Price: R1,527
Discovery Miles 15 270
|
|
Term Rewriting - French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 909
Expected to ship within 10 - 15 working days
|
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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 909 |
Release date: |
April 1995 |
First published: |
1995 |
Editors: |
Hubert Comon
• Jean-Pierre Jouannaud
|
Dimensions: |
235 x 155 x 12mm (L x W x T) |
Format: |
Paperback
|
Pages: |
228 |
Edition: |
1995 ed. |
ISBN-13: |
978-3-540-59340-9 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-59340-3 |
Barcode: |
9783540593409 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.