- 5 Ergebnisse
Kleinster Preis: € 52,96, größter Preis: € 155,99, Mittelwert: € 98,02
1
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Andrei Voronkov
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrei Voronkov:

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Taschenbuch

2008, ISBN: 3540705880

[EAN: 9783540705888], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; SIMULATION; APPROXIMATION; AUTOMATA; CALCU… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Bestellen
bei awesomebooks.com
£ 75,27
(ca. € 88,35)
Versand: € 3,511
Bestellen
Details beim Anbieter
gesponserter Link
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) - neues Buch

2008, ISBN: 9783540705888

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 200… Mehr…

No. 9783540705888. Versandkosten:1, (EUR 3.51)
zuklappen (X)
3
Rewriting Techniques and Applications
Bestellen
bei Hugendubel.de
€ 96,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rewriting Techniques and Applications - Taschenbuch

2008

ISBN: 9783540705888

Rewriting Techniques and Applications ab 96.49 € als Taschenbuch: 19th International Conference RTA 2008 Hagenberg Austria July 15-17 2008 Proceedings. Auflage 2008. Aus dem Bereich: Büch… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 191,41
(ca. € 155,99)
Versand: € 48,891
Bestellen
Details beim Anbieter
gesponserter Link
Springer:
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science) - neues Buch

2008, ISBN: 9783540705888

2008-08-15. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!, 2008-08-15, 6

Versandkosten: EUR 48.89 Books Express
zuklappen (X)
5
Rewriting Techniques and Applications - Andrei Voronkov
Bestellen
bei lehmanns.de
€ 96,29
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrei Voronkov:
Rewriting Techniques and Applications - Taschenbuch

2008, ISBN: 9783540705888

19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2008

Versandkosten:sofort lieferbar. (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:

9783540705888


This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540705888
ISBN (ISBN-10): 3540705880
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
457 Seiten
Gewicht: 0,717 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-05-30T00:00:04+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-05-03T12:31:47+02:00 (Vienna)
ISBN/EAN: 9783540705888

ISBN - alternative Schreibweisen:
3-540-70588-0, 978-3-540-70588-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov
Titel des Buches: austria international, hagenberg, who who austria, july, rewriting lecture notes computer

Daten vom Verlag:

Autor/in: Andrei Voronkov
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Rewriting Techniques and Applications - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Verlag: Springer; Springer Berlin
457 Seiten
Erscheinungsjahr: 2008-07-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 457 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Simulation; approximation; automata; calculus; constraint solving; critical pair; cryptographic protocol analysis; data structure; data structures; dependency pairs; equational tree automata; functional-logic programming; proving; semantics; term rewriting; 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

Modular Termination of Basic Narrowing.- Linear-algebraic ?-calculus: higher-order, encodings, and confluence..- Term-Graph Rewriting Via Explicit Paths.- Finer Is Better: Abstraction Refinement for Rewriting Approximations.- A Needed Rewriting Strategy for Data-Structures with Pointers.- Effectively Checking the Finite Variant Property.- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.- Maximal Termination.- Usable Rules for Context-Sensitive Rewrite Systems.- Combining Equational Tree Automata over AC and ACI Theories.- Closure of Hedge-Automata Languages by Hedge Rewriting.- On Normalisation of Infinitary Combinatory Reduction Systems.- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems.- Arctic Termination ...Below Zero.- Logics and Automata for Totally Ordered Trees.- Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.- Nominal Unification from a Higher-Order Perspective.- Functional-Logic Graph Parser Combinators.- Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.- Tree Automata for Non-linear Arithmetic.- Confluence by Decreasing Diagrams.- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.- Root-Labeling.- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.- Deciding Innermost Loops.- Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.- Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof.- Reduction Under Substitution.- Normalization of Infinite Terms.
< zum Archiv...