{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:54Z","timestamp":1725663534037},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:04:33Z","timestamp":1330182273000},"page":"197-211","source":"Crossref","is-referenced-by-count":0,"title":["Computing with conditional rewrite rules"],"prefix":"10.1007","author":[{"given":"Alex","family":"Pelin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-17220-3_8","volume":"256","author":"J. C. M. M. Baeten","year":"1987","unstructured":"Baeten, J.C.M.,Bergstra, J.A., and Klop, J.W.:\u201cTerm Rewriting Systems with Priorities\u201d, in Proceedings of the 2nd Conference on Rewriting Techniques and Applications, edited by P.Lescanne, Springer-Verlag Lecture Notes in Computer Science, Vol. 256, 1987, pp. 83\u201394.","journal-title":"Proceedings of the 2nd Conference on Rewriting Techniques and Applications"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Ehrig,H. and Mahr,B.:Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"15_CR3","unstructured":"Goguen,J.A., Thatcher,J.W., Wagner, E.G.:\u201cAn Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types\u201d, in Current Trends in Programming Methodology IV: Data Structuring, Editor R. Yeah, Prentice Hall, 1978, pp. 80\u2013144."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Huet, G.:\u201cConfluent Reductions: Abstract Properties and Applications\u201d, in Journal of the ACM, Vol. 27, 1980,pp. 797\u2013821.","journal-title":"Journal of the ACM"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Huet,G.,and Oppen,D.:\u201cEquations and Rewrite Rules:A Survey\u201d, in Formal Language Theory:Perspectives and Open Problems, Editor R.Book, Academic Press, 1980,pp. 349\u2013405.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J. Jouannaud","year":"1986","unstructured":"Jouannaud, J. and Kirchner, H.:\u201cCompletion of a Set Rules Modulo a Set of Equations\u201d, SIAM Journal of Computing, Vol.15(4), 1986, pp. 1155\u20131194.","journal-title":"SIAM Journal of Computing"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Kaplan,S.:\u201cSymplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence\u201d,L.R.I. Report 316, December, 1986.","DOI":"10.1007\/978-3-662-09691-8_11"},{"key":"15_CR8","unstructured":"Klop,J.W.:\u201cTerm Rewriting Systems: A Tutorial\u201d,in Bulletin of EATCS,No.32, June 1987, pp.143\u2013182."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Knuth,D. and Bendix, P.:\u201cSimple Word Problems in Universal Algebras\u201d, in Computational Problems in Abstract Algebra, edited by J. Leech, Pergamon Press, 1970, pp. 263\u2013297.","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"15_CR10","unstructured":"Pelin,A., and Gallier,J.:\u201cBuilding Exact Computation Sequences\u201d, to appear in Theoretical Computer Science."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Pelin,A., and Gallier,J.:\u201cExact Computation Sequences\u201d, in 11th Colloquium on Trees in Algebra and Programming, edited by P. Franchi-Zannettacci, Springer-Verlag Lecture Notes in Computer Science, Vol. 214, pp.45\u201359.","DOI":"10.1007\/BFb0022658"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Zhang,H., and Remy,J.-L.: \u201cContextual Rewriting\u201d, in Proceedings of the 1st Conference on Rewriting Techniques and Applications, edited by J.P. Jouannaud, Springer-Verlag Lecture notes in Computer Science, Vol. 202, pp. 46\u201362.","DOI":"10.1007\/3-540-15976-2_2"}],"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-19242-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:49Z","timestamp":1605626209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}