| Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings 1999 Edition Contributor(s): Narendran, Paliath (Editor), Rusinowitch, Michael (Editor) |
|
 |
ISBN: 3540662014 ISBN-13: 9783540662013 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 1999 Annotation: This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems, etc. |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Medical - Mathematics | Logic |
| Dewey: 005.131 |
| LCCN: 99034032 |
| Series: Lecture Notes in Computer Science, |
| Physical Information: 0.86" H x 6.14" W x 9.21" (1.29 lbs) 408 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation, deductionandhigher-orderrewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India, Israel, Italy, Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee. |