Mohlo by se vám také líbit

Více informací o knize Rewriting Techniques and Applications

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 135 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Rewriting Techniques and Applications
• Podnázev: 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999. Proceedings
• Autor: Paliath Narendran, Michael Rusinowitch
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 408
• EAN: 9783540662013
• ISBN: 3540662014
• ID: 02710700
• Nakladatelství: Springer, Berlin
• Hmotnost: 537 g
• Rozměry: 234 × 156 × 21 mm
• Rok vydání: 1999

Oblíbené z jiného soudku

---

---

---