Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings - Taschenbuch
2009, ISBN: 3642023479
[EAN: 9783642023477], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Jun 2009], VMTL, VARIABLE, YAPA, AUTOMATIC PROVING, CALCULUS, COMPLEXITY, INTERACTION NETS, LOGIC, NORMALIZA… Mehr…
AbeBooks.de AHA-Books, Einbeck, Germany [86569176] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 2.90 Details... |
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
Amazon.de (Intern... |
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.25 kg, Informatik, IT-Ausbildung & … Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings - Taschenbuch
2009, ISBN: 3642023479
[EAN: 9783642023477], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Jun 2009], VMTL, VARIABLE, YAPA, AUTOMATIC PROVING, CALCULUS, COMPLEXITY, INTERACTION NETS, LOGIC, NORMALIZA… Mehr…
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
2010
ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.57 kg, Informatik, IT-Ausbildung & … Mehr…
2010, ISBN: 9783642023477
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2009, 408 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.25 kg, Informatik, IT-Ausbildung & … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings: 20th ... Notes in Computer Science, 5595, Band 5595)
EAN (ISBN-13): 9783642023477
ISBN (ISBN-10): 3642023479
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Treinen, Ralf, Springer Berlin Heidelberg
391 Seiten
Gewicht: 0,613 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-05-15T02:02:03+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-09-22T15:39:52+02:00 (Zurich)
ISBN/EAN: 9783642023477
ISBN - alternative Schreibweisen:
3-642-02347-9, 978-3-642-02347-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kesting, ralf hill
Titel des Buches: brasilia, brazil, rewriting lecture notes computer, international
Daten vom Verlag:
Autor/in: Ralf Treinen
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Verlag: Springer; Springer Berlin
391 Seiten
Erscheinungsjahr: 2009-06-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 391 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; VMTL; Variable; YAPA; automatic proving; calculus; complexity; interaction nets; logic; normalization; proof; proof theory; protocol security; term rewriting; term-graph transformation; termination proving; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations; Compiler und Übersetzer; Mathematik für Informatiker; Diskrete Mathematik; Mathematik: Logik; Mathematische Grundlagen; EA
Automatic Termination.- Loops under Strategies.- Proving Termination of Integer Term Rewriting.- Dependency Pairs and Polynomial Path Orders.- Unique Normalization for Shallow TRS.- The Existential Fragment of the One-Step Parallel Rewriting Theory.- Proving Confluence of Term Rewriting Systems Automatically.- A Proof Theoretic Analysis of Intruder Theories.- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case.- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.- YAPA: A Generic Tool for Computing Intruder Knowledge.- Well-Definedness of Streams by Termination.- Modularity of Convergence in Infinitary Rewriting.- A Heterogeneous Pushout Approach to Term-Graph Transformation.- An Explicit Framework for Interaction Nets.- Dual Calculus with Inductive and Coinductive Types.- Comparing Böhm-Like Trees.- The Derivational Complexity Induced by the Dependency Pair Method.- Local Termination.- VMTL–A Modular Termination Laboratory.- Tyrolean Termination Tool 2.- From Outermost to Context-Sensitive Rewriting.- A Fully Abstract Semantics for Constructor Systems.- The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity).- Unification in the Description Logic .- Unification with Singleton Tree Grammars.- Unification and Narrowing in Maude 2.4.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
- 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)
- 9780387510811 Reliability and Six SIGMA (Kumar, U. Dinesh; Crocker, John; Chitra, T.)
- 9780387302553 Reliability And Six Sigma by U Dinesh Kumar Hardcover | Indigo Chapters (Kumar, U Dinesh, Crocker, John, Chitra, T., Saranga, Haritha)
- Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2?4, 1999 Proceedings (English Edition) (Nieuwenhuis, Robert, Rusinowitch (eds.), Michael, Narendran, Paliath, Rivero (auth.), José Miguel)
< zum Archiv...