ISBN: 9780387979656
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can… Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
1998, ISBN: 9780387979656
Springer, Gebundene Ausgabe, Auflage: 1993, 197 Seiten, Publiziert: 1998-02-18T00:00:01Z, Produktgruppe: Buch, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher… Mehr…
amazon.de Antiquariat Günter Hochgrebe Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1993, ISBN: 0387979654
[EAN: 9780387979656], Near Fine, [PU: Springer, New York], COMPUTER SCIENCE, ALGEBRA, Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., … Mehr…
cdn | AbeBooks.com Attic Books (ABAC, ILAB), London, ON, Canada [51743749] [Rating: 5 (of 5)] NOT NEW BOOK. Versandkosten: EUR 8.25 Details... |
1993, ISBN: 9780387979656
New York: Springer, 1993. Hardcover. Near fine. Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., Springer, 1993, 4
Biblio.co.uk |
1998, ISBN: 0387979654
[EAN: 9780387979656], [PU: Springer], pp. viii + 189, Books
AbeBooks.com Majestic Books, Hounslow, United Kingdom [51749587] [Rating: 4 (of 5)] Versandkosten: EUR 8.84 Details... |
ISBN: 9780387979656
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can… Mehr…
Book, Ronald V. Otto, Friedrich:
String-Rewriting Systems (Monographs in Computer Science) - gebunden oder broschiert1998, ISBN: 9780387979656
Springer, Gebundene Ausgabe, Auflage: 1993, 197 Seiten, Publiziert: 1998-02-18T00:00:01Z, Produktgruppe: Buch, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher… Mehr…
1993
ISBN: 0387979654
[EAN: 9780387979656], Near Fine, [PU: Springer, New York], COMPUTER SCIENCE, ALGEBRA, Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., … Mehr…
1993, ISBN: 9780387979656
New York: Springer, 1993. Hardcover. Near fine. Texts and Monographs in Computer Science. viii, 189 p. 25 cm. Ink signature on front free endpaper., Springer, 1993, 4
1998, ISBN: 0387979654
[EAN: 9780387979656], [PU: Springer], pp. viii + 189, Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - String-Rewriting Systems (Monographs in Computer Science)
EAN (ISBN-13): 9780387979656
ISBN (ISBN-10): 0387979654
Gebundene Ausgabe
Erscheinungsjahr: 1993
Herausgeber: Springer
Buch in der Datenbank seit 2007-07-10T01:42:07+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-29T19:52:52+01:00 (Zurich)
ISBN/EAN: 0387979654
ISBN - alternative Schreibweisen:
0-387-97965-4, 978-0-387-97965-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: otto friedrich, book ronald, otto best, otto will
Titel des Buches: the fifth string, rewriting, computer systems
Daten vom Verlag:
Autor/in: Ronald V. Book; Friedrich Otto
Titel: Monographs in Computer Science; String-Rewriting Systems
Verlag: Springer; Springer US
189 Seiten
Erscheinungsjahr: 1998-02-18
New York; NY; US
Gewicht: 0,445 kg
Sprache: Englisch
85,55 € (DE)
87,95 € (AT)
88,00 CHF (CH)
Not available, publisher indicates OP
BB; Book; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Künstliche Intelligenz; Verstehen; group; intelligence; form; computer science; construction; boundary element method; transformation; turing degree; automata; security; Algebraic structure; algebra; Turing machine; artificial intelligence; congruence; B; Artificial Intelligence (incl. Robotics); Computer Science; Robotik; BC; EA
0 Introduction.- 0.1 Historical Development.- 0.2 An Outline of Recent Developments.- 0.3 Contents of the Monograph.- 1 Preliminaries.- 1.1 Abstract Reduction Systems.- 1.2 Reduction Modulo an Equivalence Relation.- 1.3 Strings, Languages and Automata.- 1.4 Some Turing Machine Constructions.- 1.5 Bibliographic Remarks.- 2 String-Rewriting Systems.- 2.1 Rewriting Systems for Strings.- 2.2 Computing Normal Forms.- 2.3 Testing for Local Confluence.- 2.4 The Knuth-Bendix Completion Procedure.- 2.5 Some Undecidable Properties.- 2.6 Bibliographic Remarks.- 3 Length as the Basis for Reduction.- 3.1 Basic Properties.- 3.2 Testing for Confluence.- 3.3 Confluence on a Single Class.- 3.4 Equivalent Systems.- 3.5 Church-Rosser Congruences.- 3.6 Other Systems Based on Length.- 3.7 Bibliographic Remarks.- 4 Monadic String-Rewriting Systems.- 4.1 Basic Properties.- 4.2 Specification of Formal Languages.- 4.3 A Decision Procedure.- 4.4 Applications of the Decision Procedure.- 4.5 Limitations of the Decision Procedure.- 4.6 Bibliographic Remarks.- 5 Length-Reducing Non-Monadic String-Rewriting Systems.- 5.1 Presenting Recursively Enumerable Languages.- 5.2 Some Undecidability Results.- 5.3 Some Questions on Congruential Languages.- 5.4 Bibliographic Remarks.- 6 Algebraic Protocols.- 6.1 Basic Properties.- 6.2 Security and Cascade Protocols.- 6.3 Security and Name-Stamp Protocols.- 6.4 Bibliographic Remarks.- 7 Algebraic Properties.- 7.1 Finite Monoid-Presentations.- 7.2 Tietze Transformations.- 7.3 Some Undecidability Results.- 7.4 The Free Monoid Problem.- 7.5 The Group Problem.- 7.6 Bibliographic Remarks.- References.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540979654 String-Rewriting Systems (Texts and Monographs in Computer Science) (Book, Ronald V. Otto, Friedrich)
- 9783540979654 String-Rewriting Systems (Texts and Monographs in Computer Science) (Book, Ronald V. Otto, Friedrich)
- 9781461397724 String-Rewriting Systems (Book, Ronald V. Otto, Friedrich)
- 9781461397717 String-Rewriting Systems (Ronald V. Book/ Friedrich Otto)
- 9781461397731 String-Rewriting Systems Ronald V. Book Author (Book, Ronald V. Otto, Friedrich)
< zum Archiv...