Skip to main content

Automatic groups and string rewriting

  • Conference paper
  • First Online:
Book cover Term Rewriting (TCS School 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 909))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Benninghofen, S. Kemmerich, M. M. Richter, Systems of Reductions, Lecture Notes in Computer Science 277, Springer Verlag, Berlin 1987.

    Google Scholar 

  2. M. Bridson and R. Gilman, Formal language theory and the geometry of 3-manifolds, to appear.

    Google Scholar 

  3. G. Buntrock and K. Lorys, On growing context-sensitive languages, 19th ICALP, Lecture Notes in Computer Science 623, Springer Verlag, Berlin 1992, 77–88.

    Google Scholar 

  4. M. Coornaert, T. Delzant, and A. Papadopoulos, Géométrie et théorie des groupes, Lecture Notes in Mathematics 1441, Springer Verlag, Berlin 1990.

    Google Scholar 

  5. D. B. A. Epstein, J. W. Cannon, D. F. Holt, S. V. F. Levy, M. S. Paterson, and W. P. Thurston, Word Processing in Groups, Jones and Bartlett, Boston 1992.

    Google Scholar 

  6. D. B. A. Epstein, D. F. Holt, and S. Rees, The use of Knuth Bendix methods to solve the word problem in automatic groups, J. Symbolic Computation 12 1991, 397–414.

    Google Scholar 

  7. C. Frougny and J. Sakarovitch, Synchronized rational relations of finite and infinite words, Theoretical Computer Science 108 1993, 45–82.

    Google Scholar 

  8. S. M. Gersten and H. B. Short, Rational subgroups of biautomatic groups, Annals of Mathematics 134 1991, 125–158.

    Google Scholar 

  9. E. Ghys and P. de la Harpe eds., Sur les Groupes Hyperboliques d'apres Mikhael Gromov, Birkhäuser, Boston 1990.

    Google Scholar 

  10. R. Gilman, Presentations of groups and monoids, J. Algebra 57 1979, 544–554.

    Google Scholar 

  11. M. Gromov, Hyperbolic groups, in Essays in Group Theory, S. M. Gersten ed., MSRI Publ. 8, Springer Verlag, New York 1987, 75–263.

    Google Scholar 

  12. M. Jantzen, Confluent String Rewriting, EATCS Monographs on Theoretical Computer Science 14, Springer Verlag, Berlin 1988.

    Google Scholar 

  13. K. Madlener and F. Otto, Groups presented by certain classes of finite length-reducing string rewriting systems, Lecture Notes in Computer Science 256, Springer Verlag, Berlin 1987, 133–144.

    Google Scholar 

  14. D. Muller and P. Schupp, Groups, the theory of ends and context-free languages, J. Computer and System Sciences 26 1983, 295–310.

    Google Scholar 

  15. R. Needham, Term rewriting and the word problem for certain infinite presentations of groups, Dissertation, University of Michigan 1992.

    Google Scholar 

  16. C. O'Dunlaing, Infinite regular Thue systems, Theor. Comp. Sci. 25 1983, 171–192.

    Google Scholar 

  17. P. Papasoglu, Geometric methods in group theory, Dissertation, Columbia Univ., 1993

    Google Scholar 

  18. G. P. Scott, The geometries of 3-manifolds, Bulletin of the London Mathematical Society, 15 1983, 401–487.

    Google Scholar 

  19. C. Sims, Computation with Finitely Presented Groups Encyclopedia of Math. and Its Applications 48, Cambridge Univ. Pr. 1994.

    Google Scholar 

  20. R. Strebel, Small cancellation groups, in Sur les Groupes Hyperboliques d'apres Mikhael Gromov, E. Ghys and P. de la Harpe eds., Birkhäuser, Boston 1990, 227–273.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Hubert Comon Jean-Pierre Jounnaud

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gilman, R.H. (1995). Automatic groups and string rewriting. In: Comon, H., Jounnaud, JP. (eds) Term Rewriting. TCS School 1993. Lecture Notes in Computer Science, vol 909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59340-3_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-59340-3_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59340-9

  • Online ISBN: 978-3-540-49237-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics