3 résultat(s) recherche sur le mot-clé 'rewriting systems'

Term rewriting and all that / Baader, Franz

Public ISBD Titre : Term rewriting and all that Type de document : texte imprimé Auteurs : Baader, Franz ; Nipkow, Tobias Editeur : Cambridge : Cambridge University Press Année de publication : 1998 Importance : xii - 301 p. ISBN/ISSN/EAN : 978-0-521-77920-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 08-XX General algebraic systems:08AXX Algebraic structures :08A70 Applications of universal algebra in computer science 68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems Mots-clés : computer science  rewriting systems  term rewriting Index. décimale : 68C Monographie Term rewriting and all that [texte imprimé] / Baader, Franz ; Nipkow, Tobias . - Cambridge : Cambridge University Press, 1998 . - xii - 301 p. ISBN : 978-0-521-77920-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 08-XX General algebraic systems:08AXX Algebraic structures :08A70 Applications of universal algebra in computer science 68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems Mots-clés : computer science  rewriting systems  term rewriting Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13129	68C50	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computation and automata / Arto Salomaa

Public ISBD Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18556	68C358	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Computation with finitely presented groups / Charles C Sims

Public ISBD Titre : Computation with finitely presented groups Type de document : texte imprimé Auteurs : Charles C Sims Editeur : Cambridge : Cambridge University Press Année de publication : 1994 Collection : Encyclopedia of Mathematics and Its Applications num. 48 Importance : xiii, 604 p. Présentation : ill Format : 25 cm ISBN/ISSN/EAN : 978-0-521-43213-9 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20-04 Explicit machine computation and programs (not the theory of computation or programming) 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F05 Generators, relations, and presentations 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata Mots-clés : presented groups  algorithms  computational methods for groups  finite presentations  rewriting systems  automata  automatic groups  Knuth-Bendix methods  Schreier coset graphs  Todd-Coxeter coset enumeration  subgroups of finite index Index. décimale : 20C Monographie Computation with finitely presented groups [texte imprimé] / Charles C Sims . - Cambridge : Cambridge University Press, 1994 . - xiii, 604 p. : ill ; 25 cm. - (Encyclopedia of Mathematics and Its Applications; 48) . ISBN : 978-0-521-43213-9 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20-04 Explicit machine computation and programs (not the theory of computation or programming) 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F05 Generators, relations, and presentations 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata Mots-clés : presented groups  algorithms  computational methods for groups  finite presentations  rewriting systems  automata  automatic groups  Knuth-Bendix methods  Schreier coset graphs  Todd-Coxeter coset enumeration  subgroups of finite index Index. décimale : 20C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18463	20C198	imprimé / autre	CRDM	20/THEORIE DES GROUPES GENERALISATIONS	Disponible