String-Rewriting Systems - Book, Ronald V.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre81,04 €
Produit Neuf
Ou 20,26 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 juillet
Nos autres offres
-
82,03 €
Produit Neuf
Ou 20,51 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 10 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur String - Rewriting Systems Format Broché - Livre Informatique
0 avis sur String - Rewriting Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Gilbert Portanier
Neuf dès 81,26 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Medieval Military Technology, Second Edition
Neuf dès 75,96 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
Il Cavaliere Inesistente
Occasion dès 43,82 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
Produits similaires
Présentation String - Rewriting Systems Format Broché
- Livre Informatique
Sommaire:
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.
Détails de conformité du produit
Personne responsable dans l'UE