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… More...
BetterWorldBooks.com used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs 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… More...
amazon.de Antiquariat Günter Hochgrebe Gut Shipping costs: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., … More...
cdn | AbeBooks.com Attic Books (ABAC, ILAB), London, ON, Canada [51743749] [Rating: 5 (of 5)] NOT NEW BOOK. Shipping costs: 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)] Shipping costs: 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… More...
Book, Ronald V. Otto, Friedrich:
String-Rewriting Systems (Monographs in Computer Science) - hardcover1998, 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… More...
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., … More...
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
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - String-Rewriting Systems (Monographs in Computer Science)
EAN (ISBN-13): 9780387979656
ISBN (ISBN-10): 0387979654
Hardcover
Publishing year: 1993
Publisher: Springer
Book in our database since 2007-07-10T00:42:07+01:00 (London)
Detail page last modified on 2023-12-29T18:52:52+00:00 (London)
ISBN/EAN: 0387979654
ISBN - alternate spelling:
0-387-97965-4, 978-0-387-97965-6
Alternate spelling and related search-keywords:
Book author: otto friedrich, book ronald, otto best, otto will
Book title: the fifth string, rewriting, computer systems
Information from Publisher
Author: Ronald V. Book; Friedrich Otto
Title: Monographs in Computer Science; String-Rewriting Systems
Publisher: Springer; Springer US
189 Pages
Publishing year: 1998-02-18
New York; NY; US
Weight: 0,445 kg
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
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)
< to archive...