{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:10Z","timestamp":1725664510447},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540593409"},{"type":"electronic","value":"9783540492375"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59340-3_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:14:21Z","timestamp":1330276461000},"page":"127-134","source":"Crossref","is-referenced-by-count":1,"title":["Automatic groups and string rewriting"],"prefix":"10.1007","author":[{"given":"Robert H.","family":"Gilman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"10_CR1","volume-title":"Lecture Notes in Computer Science 277","author":"B. Benninghofen","year":"1987","unstructured":"B. Benninghofen, S. Kemmerich, M. M. Richter, Systems of Reductions, Lecture Notes in Computer Science 277, Springer Verlag, Berlin 1987."},{"key":"10_CR2","unstructured":"M. Bridson and R. Gilman, Formal language theory and the geometry of 3-manifolds, to appear."},{"key":"10_CR3","first-page":"77","volume-title":"19th ICALP, Lecture Notes in Computer Science 623","author":"G. Buntrock","year":"1992","unstructured":"G. Buntrock and K. Lorys, On growing context-sensitive languages, 19th ICALP, Lecture Notes in Computer Science 623, Springer Verlag, Berlin 1992, 77\u201388."},{"key":"10_CR4","volume-title":"Lecture Notes in Mathematics 1441","author":"M. Coornaert","year":"1990","unstructured":"M. Coornaert, T. Delzant, and A. Papadopoulos, G\u00e9om\u00e9trie et th\u00e9orie des groupes, Lecture Notes in Mathematics 1441, Springer Verlag, Berlin 1990."},{"key":"10_CR5","doi-asserted-by":"crossref","DOI":"10.1201\/9781439865699","volume-title":"Word Processing in Groups","author":"D. B. A. Epstein","year":"1992","unstructured":"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."},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/S0747-7171(08)80093-4","volume":"12","author":"D. B. A. Epstein","year":"1991","unstructured":"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\u2013414.","journal-title":"J. Symbolic Computation"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(93)90230-Q","volume":"108","author":"C. Frougny","year":"1993","unstructured":"C. Frougny and J. Sakarovitch, Synchronized rational relations of finite and infinite words, Theoretical Computer Science 108 1993, 45\u201382.","journal-title":"Theoretical Computer Science"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2307\/2944334","volume":"134","author":"S. M. Gersten","year":"1991","unstructured":"S. M. Gersten and H. B. Short, Rational subgroups of biautomatic groups, Annals of Mathematics 134 1991, 125\u2013158.","journal-title":"Annals of Mathematics"},{"volume-title":"Sur les Groupes Hyperboliques d'apres Mikhael Gromov","year":"1990","key":"10_CR9","unstructured":"E. Ghys and P. de la Harpe eds., Sur les Groupes Hyperboliques d'apres Mikhael Gromov, Birkh\u00e4user, Boston 1990."},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1016\/0021-8693(79)90238-2","volume":"57","author":"R. Gilman","year":"1979","unstructured":"R. Gilman, Presentations of groups and monoids, J. Algebra 57 1979, 544\u2013554.","journal-title":"J. Algebra"},{"key":"10_CR11","series-title":"MSRI Publ. 8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-1-4613-9586-7_3","volume-title":"Essays in Group Theory","author":"M. Gromov","year":"1987","unstructured":"M. Gromov, Hyperbolic groups, in Essays in Group Theory, S. M. Gersten ed., MSRI Publ. 8, Springer Verlag, New York 1987, 75\u2013263."},{"key":"10_CR12","volume-title":"EATCS Monographs on Theoretical Computer Science 14","author":"M. Jantzen","year":"1988","unstructured":"M. Jantzen, Confluent String Rewriting, EATCS Monographs on Theoretical Computer Science 14, Springer Verlag, Berlin 1988."},{"key":"10_CR13","first-page":"133","volume-title":"Lecture Notes in Computer Science 256","author":"K. Madlener","year":"1987","unstructured":"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\u2013144."},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D. Muller","year":"1983","unstructured":"D. Muller and P. Schupp, Groups, the theory of ends and context-free languages, J. Computer and System Sciences 26 1983, 295\u2013310.","journal-title":"J. Computer and System Sciences"},{"key":"10_CR15","unstructured":"R. Needham, Term rewriting and the word problem for certain infinite presentations of groups, Dissertation, University of Michigan 1992."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(83)90060-9","volume":"25","author":"C. O'Dunlaing","year":"1983","unstructured":"C. O'Dunlaing, Infinite regular Thue systems, Theor. Comp. Sci. 25 1983, 171\u2013192.","journal-title":"Theor. Comp. Sci."},{"key":"10_CR17","unstructured":"P. Papasoglu, Geometric methods in group theory, Dissertation, Columbia Univ., 1993"},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1112\/blms\/15.5.401","volume":"15","author":"G. P. Scott","year":"1983","unstructured":"G. P. Scott, The geometries of 3-manifolds, Bulletin of the London Mathematical Society, 15 1983, 401\u2013487.","journal-title":"Bulletin of the London Mathematical Society"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"C. Sims, Computation with Finitely Presented Groups Encyclopedia of Math. and Its Applications 48, Cambridge Univ. Pr. 1994.","DOI":"10.1017\/CBO9780511574702"},{"key":"10_CR20","first-page":"227","volume-title":"Sur les Groupes Hyperboliques d'apres Mikhael Gromov","author":"R. Strebel","year":"1990","unstructured":"R. Strebel, Small cancellation groups, in Sur les Groupes Hyperboliques d'apres Mikhael Gromov, E. Ghys and P. de la Harpe eds., Birkh\u00e4user, Boston 1990, 227\u2013273."}],"container-title":["Lecture Notes in Computer Science","Term Rewriting"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59340-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:56Z","timestamp":1605648416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59340-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540593409","9783540492375"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-59340-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}