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

von Springer Berlin
Zustand: Neu
CHF 115.10
inklusive MwSt. - GRATIS LIEFERUNG
Springer Berlin Rewriting Techniques and Applications - 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Springer Berlin - Rewriting Techniques and Applications - 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Dir gefällt dieses Produkt? Sag's weiter!

CHF 115.10 inkl. USt.
Nur noch 1 Stück verfügbar Nur noch 2 Stück verfügbar
Lieferung: zwischen 2021-06-22 und 2021-06-24
Verkauf & Versand: Dodax

Beschreibung


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.

Weitere Informationen

Anmerkung Illustrationen:
Bibliographie
Medientyp:
Taschenbuch
Verlag:
Springer Berlin
Sprache:
Englisch
Seitenanzahl:
408

Stammdaten

Produkttyp:
Taschenbuch
Verpackungsabmessungen:
0.235 x 0.155 x 0.024 m; 0.555 kg
GTIN:
09783540662013
DUIN:
E85T8O1EPCR
Herstellerartikelnummer:
15823496
CHF 115.10
Wir nutzen Cookies auf unserer Website, um deinen Besuch effizienter zu gestalten und dir mehr Benutzerfreundlichkeit bieten zu können. Klicke daher bitte auf "Cookies akzeptieren"! Nähere Informationen findest du in unserer Datenschutzerklärung.