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… mais…
BetterWorldBooks.com used in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio 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… mais…
amazon.de Antiquariat Günter Hochgrebe Gut Custos de envio: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., … mais…
cdn | AbeBooks.com Attic Books (ABAC, ILAB), London, ON, Canada [51743749] [Rating: 5 (of 5)] NOT NEW BOOK. Custos de envio: 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)] Custos de envio: 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… mais…
Book, Ronald V. Otto, Friedrich:
String-Rewriting Systems (Monographs in Computer Science) - encadernada, livro de bolso1998, 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… mais…
no/na AbeBooks.com
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., … mais…
no/na Biblio.co.uk
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
no/na AbeBooks.com
1998, ISBN: 0387979654
[EAN: 9780387979656], [PU: Springer], pp. viii + 189, Books
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - String-Rewriting Systems (Monographs in Computer Science)
EAN (ISBN-13): 9780387979656
ISBN (ISBN-10): 0387979654
Livro de capa dura
Ano de publicação: 1993
Editor/Editora: Springer
Livro na base de dados desde 2007-07-09T20:42:07-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-12-29T15:52:52-03:00 (Sao Paulo)
Número ISBN/EAN: 0387979654
Número ISBN - Ortografia alternativa:
0-387-97965-4, 978-0-387-97965-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: otto friedrich, book ronald, otto best, otto will
Título do livro: the fifth string, rewriting, computer systems
Dados da editora
Autor: Ronald V. Book; Friedrich Otto
Título: Monographs in Computer Science; String-Rewriting Systems
Editora: Springer; Springer US
189 Páginas
Ano de publicação: 1998-02-18
New York; NY; US
Peso: 0,445 kg
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...