Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings

Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings

Narendran, Paliath
Rusinowitch, Michael

Paperback

Series: Lecture Notes in Computer Science, Book 1631

FictionMedical ReferenceProgramming

ISBN10: 3540662014
ISBN13: 9783540662013
Publisher: Springer
Published: Jun 16 1999
Pages: 408
Weight: 1.29
Height: 0.86 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming

View All