{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:13Z","timestamp":1725664813439},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61464-8_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:40:19Z","timestamp":1330292419000},"page":"276-286","source":"Crossref","is-referenced-by-count":9,"title":["The first-order theory of one-step rewriting is undecidable"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Treinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Ronald V. Book and Friedrich Otto. String-Rewriting Systems. Texts and Monographs in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"22_CR2","first-page":"328","volume-title":"Lecture Notes in Computer Science, vol. 690","author":"A. Caron","year":"1993","unstructured":"Anne-C\u00e9cile Caron, Jean-Luc Coquide, and Max Dauchet. Encompassment properties and automata with constraints. In Kirchner [Kir93], pages 328\u2013342."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In van Leeuwen [vL90], chapter 6, pages 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"22_CR4","first-page":"468","volume-title":"Lecture Notes in Computer Science, vol. 690","author":"N. Dershowitz","year":"1993","unstructured":"Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop. More problems in rewriting. In Kirchner [Kir93], pages 468\u2013487."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop. Problems in rewriting III. In Jieh Hsiang, editor, Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 914, pages 457\u2013471. Springer-Verlag, April 1995.","DOI":"10.1007\/3-540-59200-8_82"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Max Dauchet and Sophie Tison. The theory of ground rewrite systems is decidable. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 242\u2013256. IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113750"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G\u00e9rard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797\u2013821, October 1980.","journal-title":"Journal of the ACM"},{"key":"22_CR8","unstructured":"Florent Jacquemard. Personel Communication, December 1995."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Donald E. Knuth and Peter B. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263\u2013297. Pergamon Press, 1970.","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"volume-title":"Lecture Notes in Computer Science, vol. 690","year":"1993","key":"22_CR10","unstructured":"Claude Kirchner, editor. Rewriting Techniques and Applications, 5th International Conference, RTA-93, Lecture Notes in Computer Science, vol. 690, Montreal, Canada, 1993. Springer Verlag."},{"issue":"2\/3","key":"22_CR11","first-page":"182","volume":"65","author":"D. A. Plaisted","year":"1985","unstructured":"David A. Plaisted. Semantic confluence tests and completion methods. Information and Computation, 65(2\/3):182\u2013215, 1985.","journal-title":"Information and Computation"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E. L. Post","year":"1946","unstructured":"Emil L. Post. A variant of a recursively unsolvable problem. Bulletin of the AMS, 52:264\u2013268, 1946.","journal-title":"Bulletin of the AMS"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on infinite objects. In van Leeuwen [vL90], chapter 4, pages 133\u2013191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"issue":"5","key":"22_CR14","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0747-7171(92)90016-W","volume":"14","author":"R. Treinen","year":"1992","unstructured":"Ralf Treinen. A new method for undecidability proofs of first order theories. Journal of Symbolic Computation, 14(5):437\u2013457, November 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"22_CR15","unstructured":"Jan van Leeuwen, editor. Handbook of Theoretical Computer Science, volume B \u2014 Formal Models and Semantics. Elsevier Science Publishers and The MIT Press, 1990."},{"key":"22_CR16","unstructured":"Sergei Vorobyov. Elementary theory of one-step rewriting is undecidable (note). Draft, 1995."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61464-8_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:30Z","timestamp":1605647190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}