{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:28Z","timestamp":1725663508276},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:51Z","timestamp":1330254471000},"page":"307-314","source":"Crossref","is-referenced-by-count":4,"title":["Semigroups satisfying x m+n = x n"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"23_CR1","first-page":"1","volume-title":"Vol. 806 of Lecture Notes in Mathematics","author":"Sergei I. I. Adian","year":"1977","unstructured":"Sergei I. Adian. Classifications of periodic words and their applicaion in group theory. In J. L. Mennicke, editor, Proceedings of a Workshop on Burnside Groups, pages 1\u201340, Bielefeld, Germany, 1977. Vol. 806 of Lecture Notes in Mathematics, Springer-Verlag, Berlin."},{"key":"23_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66932-3","volume-title":"The Burnside Problem and Identities in Groups","author":"Sergei I. I. Adian","year":"1979","unstructured":"Sergei I. Adian. The Burnside Problem and Identities in Groups. Springer-Verlag, Berlin, 1979. Translated from the Russian."},{"issue":"44","key":"23_CR3","first-page":"769","volume":"2","author":"S. E. A\u0159son","year":"1937","unstructured":"S. E. A\u0159son. Proof of the existence of n-valued infinite asymmetric sequences. Matematicheskii Sbornik, 2(44):769\u2013779, 1937.","journal-title":"Matematicheskii Sbornik"},{"key":"23_CR4","unstructured":"Leo Bachmair and Nachum Dershowitz. Equational inference, canonical proofs, and proof orderings. J. of the Association for Computing Machinery, 199? To appear. Available as Technical Report DCS-R-92-1746, Department of Computer Science, University of Illinois, Urbana, IL."},{"key":"23_CR5","volume-title":"volume 277 of Lecture Notes in Computer Science","author":"B. Benninghofen","year":"1987","unstructured":"Benjamin Benninghofen, Susanne Kemmerich, and Michael M. Richter. Systems of Reductions, volume 277 of Lecture Notes in Computer Science. Springer, Berlin, 1987."},{"issue":"1&2","key":"23_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","volume":"3","author":"Ronald V. V. Book","year":"1987","unstructured":"Ronald V. Book. Thue systems as rewriting systems. J. Symbolic Computation, 3(1&2):39\u201368, February\/April 1987.","journal-title":"J. Symbolic Computation"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/B978-0-12-115350-2.50007-5","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"J. Brzozowski","year":"1980","unstructured":"Janusz Brzozowski. Open problems about regular languages. In R. Book, editor, Formal Language Theory: Perspectives and Open Problems, pages 23\u201347. Academic Press, New York, 1980."},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0022-0000(71)80006-5","volume":"5","author":"J. Brzozowski","year":"1971","unstructured":"Janusz Brzozowski, Karl Culik II, and A. Gabrielian. Classification of non-counting events. J. of Computer and System Sciences, 5:41\u201353, 1971.","journal-title":"J. of Computer and System Sciences"},{"key":"23_CR9","first-page":"230","volume":"33","author":"W. Burnside","year":"1902","unstructured":"W. Burnside. On an unsettled question in the theory of discontinuous groups. Quarterly J. of Pure and Applied Mathematics, 33:230\u2013238, 1902.","journal-title":"Quarterly J. of Pure and Applied Mathematics"},{"key":"23_CR10","first-page":"104","volume-title":"Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990)","author":"N. Dershowitz","year":"1992","unstructured":"Nachum Dershowitz. Rewriting methods for word problems. In M. Ito, editor, Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990), pages 104\u2013118, Singapore, 1992. World Scientific."},{"key":"23_CR11","first-page":"243","volume-title":"Handbook of Theoretical Computer Science B: Formal Methods and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243\u2013320. North-Holland, Amsterdam, 1990."},{"issue":"3","key":"23_CR12","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(82)90124-4","volume":"27","author":"A. Ehrenfeucht","year":"1983","unstructured":"Andrzej Ehrenfeucht, David Haussler, and G. Rozenberg. On regularity of context-free languages. Theoretical Computer Science, 27(3):311\u2013332, December 1983.","journal-title":"Theoretical Computer Science"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1090\/S0002-9939-1965-0174934-9","volume":"16","author":"N. J. Fine","year":"1965","unstructured":"N. J. Fine and M. S. Wilf. Uniqueness theorems for periodic functions. Proceedings of the American Mathematical Society, 16:109\u2013114, 1965.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1017\/S0305004100027341","volume":"48","author":"J. A. Green","year":"1952","unstructured":"J. A. Green and D. Rees. On semigroups in which x\n\n                  r\n                 = x. Proceedings of the Cambridge Philosophical Society, 48:35\u201340, 1952.","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"23_CR15","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1073\/pnas.43.8.751","volume":"43","author":"M. Hall Jr.","year":"1957","unstructured":"M. Hall, Jr. Solution of the Burnside problem for exponent 6. In Proceedings of the National Academy of Sciences of the USA, volume 43, pages 751\u2013753, 1957.","journal-title":"Proceedings of the National Academy of Sciences of the USA"},{"key":"23_CR16","volume-title":"An Introduction to Semigroup Theory","author":"J. M. Howie","year":"1976","unstructured":"J. M. Howie. An Introduction to Semigroup Theory. Academic Press, London, 1976."},{"key":"23_CR17","first-page":"54","volume-title":"Vol. 267 of Lecture Notes in Computer Science","author":"J. Hsiang","year":"1987","unstructured":"Jieh Hsiang and Micha\u00ebl Rusinowitch. On word problems in equational theories. In T. Ottmann, editor, Proceedings of the Fourteenth EATCS International Conference on Automata, Languages and Programming, pages 54\u201371, Karlsruhe, West Germany, July 1987. Vol. 267 of Lecture Notes in Computer Science, Springer-Verlag, Berlin."},{"key":"23_CR18","first-page":"329","volume-title":"Vol. 583 of Lecture Notes in Computer Science","author":"A. Pereira do Lago","year":"1992","unstructured":"Alair Pereira do Lago. On the Burnside semigroups x\n\n                  n\n                 = x\n\n                  n+m\n                . In I. Simon, editor, Proceedings of the First Latin American Symposium on Theoretical Informatics, pages 329\u2013343, Sao Paulo, Brazil, April 1992. Vol. 583 of Lecture Notes in Computer Science, Springer-Verlag, Berlin."},{"key":"23_CR19","volume-title":"EATCS. Vol. 443 of Lecture Notes in Computer Science","author":"A. Luca de","year":"1990","unstructured":"Aldo de Luca and Stefano Varricchio. On non counting regular classes. In M. Paterson, editor, Proceedings of the Seventeenth International Colloquium on Automata, Languages and Programming, Warwick, June 1990. EATCS. Vol. 443 of Lecture Notes in Computer Science, Springer-Verlag, Berlin; to appear in Theoretical Computer Science."},{"key":"23_CR20","first-page":"356","volume-title":"Vol. 583 of Lecture Notes in Computer Science","author":"A. Luca de","year":"1992","unstructured":"Aldo de Luca and Stefano Varricchio. Some regularity conditions based on well quasi-orders. In I. Simon, editor, Proceedings of the First Latin American Symposium on Theoretical Informatics, pages 356\u2013371, Sao Paulo, Brazil, April 1992. Vol. 583 of Lecture Notes in Computer Science, Springer-Verlag, Berlin."},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S021819679100002X","volume":"1","author":"J. McCammond","year":"1991","unstructured":"J. McCammond. The solution to the word problem for the relatively free semigroups satisfying t\n\n                  a\n                =t\n                  a+b\n                 with a\u22656. Intl. J. of Algebra and Computation, 1:1\u201332, 1991.","journal-title":"Intl. J. of Algebra and Computation"},{"key":"23_CR22","first-page":"365","volume-title":"On the join of the variety of all bands and the variety of all commutative semigroups via conditional rewrite rules","author":"Thomas E. E. Nordahl","year":"1992","unstructured":"Thomas E. Nordahl. On the join of the variety of all bands and the variety of all commutative semigroups via conditional rewrite rules. In M. Ito, editor, Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990), pages 365\u2013372, Singapore, 1992. World Scientific."},{"key":"23_CR23","series-title":"Lecture Notes in Pure and Applied Mathematics","first-page":"103","volume-title":"Computers in Algebra","author":"J. Pedersen","year":"1988","unstructured":"John Pedersen. Computer solution of word problems in universal algebra. In M. Tangora, editor, Computers in Algebra, pages 103\u2013128. 1988. Vol. 111 of Lecture Notes in Pure and Applied Mathematics, Marcel-Dekker, New York."},{"key":"23_CR24","first-page":"574","volume-title":"Vol. 355 Lecture Notes in Computer Science","author":"J. Pedersen","year":"1989","unstructured":"John Pedersen. Morphocompletion for one-relation monoids. In N. Dershowitz, editor, Proceedings of the Third International Conference on Rewriting Techniques and Applications, pages 574\u2013578, Chapel Hill, NC, April 1989. Vol. 355 Lecture Notes in Computer Science, Springer, Berlin."},{"key":"23_CR25","first-page":"166","volume":"10","author":"I. N. Sanov","year":"1940","unstructured":"I. N. Sanov. Solution of the Burnside problem for exponent 4. Ucen. Zap. Leningrad Univ., 10:166\u2013170, 1940.","journal-title":"Ucen. Zap. Leningrad Univ."},{"issue":"1\/2","key":"23_CR26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF02573590","volume":"25","author":"J. Siekmann","year":"1982","unstructured":"Jorg Siekmann and P. Szab\u00f3. A Noetherian and confluent rewrite system for idempotent semigroups. Semigroup Forum, 25(1\/2):83\u2013110, 1982.","journal-title":"Semigroup Forum"},{"key":"23_CR27","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0022-4049(87)90129-0","volume":"49","author":"C. Squier","year":"1987","unstructured":"Craig Squier. Word problems and a homological finiteness condition for monoids. J. of Pure and Applied Algebra, 49:201\u2013217, 1987.","journal-title":"J. of Pure and Applied Algebra"},{"key":"23_CR28","first-page":"1","volume":"1","author":"A. Thue","year":"1912","unstructured":"Axel Thue. \u00dcber die gegenseitige Lage gleicher Teile gewisser Zeichenreichen. Norske Videnskabssellskabets Skrifter I Mat. Nat. Kl., 1:1\u201367, 1912.","journal-title":"Norske Videnskabssellskabets Skrifter I Mat. Nat. Kl."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:50:20Z","timestamp":1619571020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}