ISBN: 3540421173
[EAN: 9783540421177], Gebraucht, sehr guter Zustand, [PU: Springer], Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text… Mehr…
AbeBooks.de Hippo Books, Toledo, OH, U.S.A. [50294793] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 8.07 Details... |
ISBN: 3540421173
[EAN: 9783540421177], Gebraucht, sehr guter Zustand, [PU: Springer], Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text… Mehr…
AbeBooks.de Free Shipping Books, Toledo, OH, U.S.A. [8938484] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 8.07 Details... |
2001, ISBN: 9783540421177
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2001
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2001, ISBN: 9783540421177
Springer, 2001-05-09. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2001-05-09
Biblio.co.uk |
2001, ISBN: 9783540421177
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, 2001, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 3540421173
[EAN: 9783540421177], Gebraucht, sehr guter Zustand, [PU: Springer], Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text… Mehr…
ISBN: 3540421173
[EAN: 9783540421177], Gebraucht, sehr guter Zustand, [PU: Springer], Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text… Mehr…
2001
ISBN: 9783540421177
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2001
2001, ISBN: 9783540421177
Springer, 2001-05-09. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2001-05-09
2001, ISBN: 9783540421177
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, 2001, Softcover, Buch, [PU: Springer Berlin]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications
EAN (ISBN-13): 9783540421177
ISBN (ISBN-10): 3540421173
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin
380 Seiten
Gewicht: 0,573 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-08-25T11:08:16+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-30T15:46:10+01:00 (Vienna)
ISBN/EAN: 9783540421177
ISBN - alternative Schreibweisen:
3-540-42117-3, 978-3-540-42117-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: middel, aarts amp rausch
Titel des Buches: utrecht, netherlands, lecture notes computer science, international proceedings, 2001, computer applications, rewriting
Daten vom Verlag:
Autor/in: Aart Middeldorp
Titel: Lecture Notes in Computer Science; Rewriting Techniques and Applications - 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Verlag: Springer; Springer Berlin
368 Seiten
Erscheinungsjahr: 2001-05-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 368 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Beta; Rewriting; Variable; algorithm; algorithms; automata; automated deduction; complexity; explicite substitution; formal methods; reduction; term rewriting; termination; theorem proving; unification; 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
Invited Talks.- Computing and Proving.- Rewriting for Deduction and Verification.- Regular Papers.- Universal Interaction Systems with Only Two Agents.- General Recursion on Second Order Term Algebras.- Beta Reduction Constraints.- From Higher-Order to First-Order Rewriting.- Combining Pattern E-Unification Algorithms.- Matching Power.- Dependency Pairs for Equational Rewriting.- Termination Proofs by Context-Dependent Interpretations.- Uniform Normalisation beyond Orthogonality.- Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order.- Relating Accumulative and Non-accumulative Functional Programs.- Context Unification and Traversal Equations.- Weakly Regular Relations and Applications.- On the Parallel Complexity of Tree Automata.- Transfinite Rewriting Semantics for Term Rewriting Systems.- Goal-Directed E-Unification.- The Unification Problem for Confluent Right-Ground Term Rewriting Systems.- On Termination of Higher-Order Rewriting.- Matching with Free Function Symbols — A Simple Extension of Matching?.- Deriving Focused Calculi for Transitive Relations.- A Formalised First-Order Con uence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost).- A Normal Form for Church-Rosser Language Systems.- Confluence and Termination of Simply Typed Term Rewriting Systems.- Parallel Evaluation of Interaction Nets with MPINE.- Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780123909602 Rewriting Techniques and Applications (Unknown, Author)
- 9780119602456 Peaceful Uses of Atomic Energy: 4th International Conference: Applications of Nuclear Techniques in Industry and in the Study of Natural Res (International Atomic Energy Agency)
- 9780387159768 Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science) (Jouannaud, Jean-Pierre (editor) ; G. Goos; J. Hartmanis)
- 9780387539041 Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Book, Ronald V. (ed.))
- Rewriting Techniques and Applications (Jouannaud, J-P)
< zum Archiv...