{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:27Z","timestamp":1725663507011},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:41Z","timestamp":1330254461000},"page":"315-327","source":"Crossref","is-referenced-by-count":0,"title":["Could orders be captured by term rewriting systems?"],"prefix":"10.1007","author":[{"given":"Sergei G.","family":"Vorobyov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers North-Holland, 1990."},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/B978-0-12-115350-2.50017-8","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"G. Huet and D. Oppen. Equations and rewrite rules: A survey. In R. V. Book, editor, Formal Language Theory: Perspectives and Open Problems, pages 349\u2013405. Academic Press, New York, 1980."},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"J. Hsiang. Refutational theorem proving using term rewriting systems. Artificial Intelligence, 25(1):255\u2013300, 1985.","journal-title":"Artificial Intelligence"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(85)90023-4","volume":"35","author":"D. Kapur","year":"1985","unstructured":"D. Kapur and P. Narendran. A finite Thue system with decidable word problem and without equivalent finite canonical system. Theoretical Computer Science, 35:337\u2013344, 1985.","journal-title":"Theoretical Computer Science"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"M.O. Rabin. Decidable theories. In J. Barwise, editor, Handbook of Mathematical Logic, pages 595\u2013629. North-Holland Pub. Co., 1977.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"S.G. Vorobyov. On the arithmetic inexpressiveness of term rewriting systems. In Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh (UK), pages 212\u2013217, 1988.","DOI":"10.1109\/LICS.1988.5120"},{"key":"24_CR7","first-page":"492","volume-title":"volume 355 of Lecture Notes in Computer Science","author":"S. G. Vorobyov","year":"1989","unstructured":"S. G. Vorobyov. Conditional rewrite rule systems with built-in aritnmetic and induction. In N. Dershowitz, editor, Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (North Carolina, USA), volume 355 of Lecture Notes in Computer Science, pages 492\u2013512. Springer-Verlag, April 1989."},{"key":"24_CR8","first-page":"9","volume":"34","author":"I. I. Zhegalkin","year":"1927","unstructured":"I. I. Zhegalkin. The technique of calculation of statements in symbolic logic. Mathematical Sbornik, 34:9\u201328, 1927. In russian.","journal-title":"Mathematical Sbornik"}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:50:21Z","timestamp":1619571021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}