- 5 Ergebnisse
Kleinster Preis: € 35,19, größter Preis: € 39,05, Mittelwert: € 37,33
1
Rewriting Techniques and Applications - Lescanne, Pierre
Bestellen
bei AbeBooks.de
€ 35,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Lescanne, Pierre:

Rewriting Techniques and Applications - Taschenbuch

1987, ISBN: 3540172203

[EAN: 9783540172208], Neubuch, [PU: Springer Berlin Heidelberg], MONOID ALGORITHMS AUTOMATA COMPLEXITY LOGIC PROGRAMMING TERMREWRITING INFORMATIK EDV TERM REWRITING THEORETISCHE MATHEMATI… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
2
Rewriting Techniques and Applications
Bestellen
bei Hugendubel.de
€ 37,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540172208

*Rewriting Techniques and Applications* - Bordeaux France May 25-27 1987. Proceedings. Auflage 1987 / Taschenbuch für 37.49 € / Aus dem Bereich: Bücher, English,, International, Gebundene… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
Rewriting Techniques and Applications - Pierre Lescanne
Bestellen
bei lehmanns.de
€ 37,44
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Pierre Lescanne:
Rewriting Techniques and Applications - Taschenbuch

1987

ISBN: 9783540172208

Bordeaux, France, May 25-27, 1987. Proceedings, Buch, Softcover, This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
4
Rewriting Techniques and Applications
Bestellen
bei Hugendubel.de
€ 37,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rewriting Techniques and Applications - Taschenbuch

ISBN: 3540172203

Rewriting Techniques and Applications ab 37.49 € als Taschenbuch: Bordeaux France May 25-27 1987. Proceedings. Auflage 1987. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Spring… Mehr…

Nr. 6891021. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Rewriting Techniques and Applications - Pierre Lescanne
Bestellen
bei BookDepository.com
€ 39,05
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Pierre Lescanne:
Rewriting Techniques and Applications - Taschenbuch

ISBN: 9783540172208

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Second International Conference on Rewriting Techniques and Applications, Operating Systems

Versandkosten:sem custos de envio. (EUR 0.00)
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:

9783540172208


This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540172208
ISBN (ISBN-10): 3540172203
Taschenbuch
Erscheinungsjahr: 1987
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2007-11-06T00:04:04+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-13T15:43:24+01:00 (Zurich)
ISBN/EAN: 9783540172208

ISBN - alternative Schreibweisen:
3-540-17220-3, 978-3-540-17220-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: may, goos, pierre
Titel des Buches: frances may, science technique, bordeaux, 1987, lecture notes computer science, rewriting

Daten vom Verlag:

Autor/in: Pierre Lescanne
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - Bordeaux, France, May 25-27, 1987. Proceedings
Verlag: Springer; Springer Berlin
288 Seiten
Erscheinungsjahr: 1987-05-14
Berlin; Heidelberg; DE
Sprache: Englisch
37,44 € (DE)
38,49 € (AT)
47,09 CHF (CH)
Available
VIII, 288 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Monoid; algorithms; automata; complexity; logic; programming; term rewriting; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Mathematik: Logik; Mathematische Grundlagen; EA

Term-rewriting implementation of equational logic programming.- Optimizing equational programs.- A compiler for conditional term rewriting systems.- How to choose the weights in the Knuth Bendix ordering.- Detecting looping simplifications.- Combinatorial hypermap rewriting.- The word problem for finitely presented monoids and finite canonical rewriting systems.- Term rewriting systems with priorities.- A gap between linear and non linear term-rewriting systems.- Code generator generation based on template-driven target term rewriting.- Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction.- Groups presented by certain classes of finite length-reducing string-rewriting systems.- Some results about confluence on a given congruence class.- Ground confluence.- Structured contextual rewriting.- Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes.- Completion for rewriting modulo a congruence.- On equational theories, unification and decidability.- A general complete E-unification procedure.- Improving basic narrowing techniques.- Strategy-controlled reduction and narrowing.- Algorithmic complexity of term rewriting systems.- Optimal speedups for parallel pattern matching in trees.
< zum Archiv...