Collected works of A. M. Turing / Turing, A.M.

Public ISBD Titre : Collected works of A. M. Turing : Pure mathematics Type de document : texte imprimé Auteurs : Turing, A.M. ; Britton, J. L. Ed. Editeur : Amsterdam : North-Holland/Elsevier Année de publication : 1992 Collection : Collected works of A. M. Turing Importance : xxii - 287 p. ISBN/ISSN/EAN : 978-0-444-88059-8 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D40 Word problems, etc. 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 : riemann hypothesis  computability  analytic number theory  collected works Index. décimale : O1 Oeuvres Collected works of A. M. Turing : Pure mathematics [texte imprimé] / Turing, A.M. ; Britton, J. L. Ed. . - Amsterdam : North-Holland/Elsevier, 1992 . - xxii - 287 p.. - (Collected works of A. M. Turing) . ISBN : 978-0-444-88059-8 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D40 Word problems, etc. 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 : riemann hypothesis  computability  analytic number theory  collected works Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13329	01 TUR	imprimé / autre	CRDM	01//OEUVRES COMPLETES	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

Diagram groups / Guba, Victor

Public ISBD Titre : Diagram groups Type de document : texte imprimé Auteurs : Guba, Victor, Auteur ; Sapir .Mark, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1997 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 620 Importance : viii, 117 p ISBN/ISSN/EAN : 978-0-8218-0639-5 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F06 Cancellation theory; application of van Kampen diagrams 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 20-XX Group theory and generalizations:20JXX Connections with homological algebra and category theory:20J05 Homological methods in group theory Mots-clés : geometric group theory  homology theory Index. décimale : Mem Diagram groups [texte imprimé] / Guba, Victor, Auteur ; Sapir .Mark, Auteur . - Providence, R.I. : American Mathematical Society, 1997 . - viii, 117 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 620) . ISBN : 978-0-8218-0639-5 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F06 Cancellation theory; application of van Kampen diagrams 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 20-XX Group theory and generalizations:20JXX Connections with homological algebra and category theory:20J05 Homological methods in group theory Mots-clés : geometric group theory  homology theory Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19115	Mem/620	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Exponential genus problems in one-relator products of groups / Duncan, J.

Public ISBD Titre : Exponential genus problems in one-relator products of groups Type de document : texte imprimé Auteurs : Duncan, J., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2007 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 873 Importance : vii, 156 p ISBN/ISSN/EAN : 978-0-8218-3945-4 Langues : Anglais Catégories : 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 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F65 Geometric group theory Mots-clés : quadratic exponential equations  decidability  finitely generated free groups  free products  one-relator products Index. décimale : Mem Exponential genus problems in one-relator products of groups [texte imprimé] / Duncan, J., Auteur . - Providence, R.I. : American Mathematical Society, 2007 . - vii, 156 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 873) . ISBN : 978-0-8218-3945-4 Langues : Anglais Catégories : 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 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F65 Geometric group theory Mots-clés : quadratic exponential equations  decidability  finitely generated free groups  free products  one-relator products Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19235	Mem /873	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

On group-theoretic decision problems and their classification / Miller, Charles F. III

Public ISBD Titre : On group-theoretic decision problems and their classification Type de document : texte imprimé Auteurs : Miller, Charles F. III Editeur : Princeton : Princeton University Press Année de publication : 1971 Collection : Annals of Mathematics Studies num. 68 Importance : viii - 106 p. Langues : Anglais Catégories : 20-XX Group theory and generalizations:20-02 Research exposition (monographs, survey articles) 20-XX Group theory and generalizations:20EXX Structure and classification of infinite or finite groups:20E06 Free products, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations 20-XX Group theory and generalizations:20EXX Structure and classification of infinite or finite groups:20E22 Extensions, wreath products, and other compositions 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 Index. décimale : 20C Monographie On group-theoretic decision problems and their classification [texte imprimé] / Miller, Charles F. III . - Princeton : Princeton University Press, 1971 . - viii - 106 p.. - (Annals of Mathematics Studies; 68) . Langues : Anglais Catégories : 20-XX Group theory and generalizations:20-02 Research exposition (monographs, survey articles) 20-XX Group theory and generalizations:20EXX Structure and classification of infinite or finite groups:20E06 Free products, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations 20-XX Group theory and generalizations:20EXX Structure and classification of infinite or finite groups:20E22 Extensions, wreath products, and other compositions 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 Index. décimale : 20C Monographie

Exemplaires

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

Pregroups and Bass-Serre theory / Rimlinger, Frank

Permalink

The conjugacy problem and Higman embeddings / Ol'shanskii, A.Yu

Permalink

Word problems 2 / W. W. Boone ; S. I. Adian ; G. Higman

Permalink

Word problems / W. W. Ed. Boone

Permalink

---

page 1/1