- 5 Ergebnisse
Kleinster Preis: € 31,90, größter Preis: € 96,75, Mittelwert: € 68,74
1
Rewriting Techniques and Applications / 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / Paliath Narendran (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Narendran, Paliath
Bestellen
bei booklooker.de
€ 33,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Narendran, Paliath:

Rewriting Techniques and Applications / 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / Paliath Narendran (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Taschenbuch

1999, ISBN: 9783540662013

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Ita… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Rewriting Techniques and Applications | 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings | Paliath Narendran (u. a.) | Taschenbuch | Lecture Notes in Computer Science - Narendran, Paliath
Bestellen
bei booklooker.de
€ 31,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Narendran, Paliath:

Rewriting Techniques and Applications | 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings | Paliath Narendran (u. a.) | Taschenbuch | Lecture Notes in Computer Science - Taschenbuch

1999, ISBN: 9783540662013

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Ita… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
3
Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings - Narendran, Paliath (Herausgeber); Rusinowitch, Michael (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 96,75
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Narendran, Paliath (Herausgeber); Rusinowitch, Michael (Herausgeber):
Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings - neues Buch

1999

ISBN: 3540662014

Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Roboter - Robotik - Industrieroboter, Compiler, Übersetzer (EDV), Math… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Rewriting Techniques and Applications - Paliath Narendran; Michael Rusinowitch
Bestellen
bei lehmanns.de
€ 93,08
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Paliath Narendran; Michael Rusinowitch:
Rewriting Techniques and Applications - Taschenbuch

1999, ISBN: 9783540662013

10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1999

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
5
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings - Narendran, Paliath
Bestellen
bei Blackwells.co.uk
£ 76,99
(ca. € 88,09)
Versand: € 7,441
Bestellen
Details beim Anbieter
gesponserter Link
Narendran, Paliath:
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings - Taschenbuch

ISBN: 9783540662013

paperback, [PU: Springer, Berlin/Heidelberg]

in stock. Versandkosten:Usually dispatched within 7 days. (EUR 7.44) Blackwells.co.uk
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Rewriting Techniques and Applications
Autor:
Titel:
ISBN-Nummer:

9783540662013


10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Broschiertes Buch
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.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540662013
ISBN (ISBN-10): 3540662014
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2009-07-03T17:11:52+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-02-14T15:45:27+01:00 (Berlin)
ISBN/EAN: 9783540662013

ISBN - alternative Schreibweisen:
3-540-66201-4, 978-3-540-66201-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael
Titel des Buches: who who 1999, international proceedings, conference proceedings, italy, lecture notes computer science, rewriting, trento

Daten vom Verlag:

Autor/in: Paliath Narendran; Michael Rusinowitch
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Verlag: Springer; Springer Berlin
408 Seiten
Erscheinungsjahr: 1999-06-16
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 408 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automat; Constraint; Graph Rewriting; Higher Order Rewriting; Lex; String Rewriting; Term Rewriting; Theorem Proving; automata; complexity; Compilers and Interpreters; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Symbolic and Algebraic Manipulation; Theoretische Informatik; Künstliche Intelligenz; Mathematik für Informatiker; EA

Session 1.- Solved Forms for Path Ordering Constraints.- Jeopardy.- Strategic Pattern Matching.- Session 2:.- On the Strong Normalization of Natural Deduction with Permutation-Conversions.- Normalisation in Weakly Orthogonal Rewriting.- Strong Normalization of Proof Nets Modulo Structural Congruences.- Session 3: Invited Talk.- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.- Session 4:.- Undecidability of the Part of the Theory of Ground Term Algebra Modulo an AC Symbol.- Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting.- A New Result about the Decidability of the Existential One-Step Rewriting Theory.- Session 5:.- A Fully Syntactic AC-RPO.- Theory Path Orderings.- A Characterisation of Multiply Recursive Functions with Higman’s Lemma.- Session 6:.- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.- Normalization via Rewrite Closures.- Test Sets for the Universal and Existential Closure of Regular Tree Languages.- Session 7: Invited Tutorial.- Higher-Order Rewriting.- Session 8: System Descriptions.- The Maude System.- TOY: A Multiparadigm Declarative System.- UniMoK: A System for Combining Equational Unification Algorithms.- : A Laboratory for Rapid Term Graph Rewriting.- Session 9:.- Decidability for Left-Linear Growing Term Rewriting Systems.- Transforming Context-Sensitive Rewrite Systems.- Context-Sensitive AC-rewriting.- Session 10:.- The Calculus of Algebraic Constructions.- HOL-??: An Intentional First-Order Expression of Higher-Order Logic.- Session 11: Invited Talk.- On the Connections between Rewriting and Formal Language Theory.- Session 12:.- A Rewrite System Associated with Quadratic Pisot Units.- Fast Rewriting of Symmetric Polynomials.- OnImplementation of Tree Synchronized Languages.
< zum Archiv...