{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:35Z","timestamp":1725458975241},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540188347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0035845","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:40:10Z","timestamp":1138185610000},"page":"193-206","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical contextual rewriting with several levels"],"prefix":"10.1007","author":[{"given":"Wadoud","family":"Bousdira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"R\u00e9my","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz. Termination. Journal of Symbolic Computation, 3(1):69\u2013115, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"20_CR2","series-title":"Lect. Notes in Comp. Sc.","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/BFb0039613","volume-title":"4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, West Germany","author":"H. Ganzinger","year":"1987","unstructured":"H. Ganzinger. Ground term confluence in parametric conditional equational specifications. In F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, West Germany, Lect. Notes in Comp. Sc. No 247, pages 286\u2013298, Springer, Berlin, 1987."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-0000(81)90002-7","volume":"23","author":"G. Huet","year":"1981","unstructured":"G. Huet. A complete proof of correctness of the Knuth-Bendix completion algorithm. J. Comp. Sys. Sc, 23:11\u201321, 1981.","journal-title":"J. Comp. Sys. Sc"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J.P. Jouannaud","year":"1986","unstructured":"J.P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. SIAM J. Computing, 15:1155\u20131194, 1986.","journal-title":"SIAM J. Computing"},{"key":"20_CR5","volume-title":"3rd IFIP Conf. on Formal Description of Programming Concepts, Ebberup, Denmark","author":"J.P. Jouannaud","year":"1986","unstructured":"J.P. Jouannaud and B. Waldmann. Reductive conditional term rewriting systems. In M. Wirsing, editor, 3rd IFIP Conf. on Formal Description of Programming Concepts, Ebberup, Denmark, Elsevier Science Publishers, Amsterdam, 1986."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"S. Kaplan. Simplifying conditional term rewriting systems: unification, termination and confluence. Journal of Symbolic Computation (to appear), 1987.","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"20_CR7","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D. Knuth","year":"1970","unstructured":"D. Knuth and P. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263\u2013297, Pergamon Press, Elmsford, N.Y., 1970."},{"key":"20_CR8","volume-title":"Colloquium on the Resolution of Equations in Algebraic Structures","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan and J.L. R\u00e9my. Completion algorithms for conditional rewriting systems. In H. AitKaci and M. Nivat, editors, Colloquium on the Resolution of Equations in Algebraic Structures, M.C.C. and I.N.R.I.A., Austin, USA, 1987."},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M.H.A. Newman","year":"1942","unstructured":"M.H.A. Newman. On theories with a combinatorial definition of equivalence. Annals of Math., 43:223\u2013243, 1942.","journal-title":"Annals of Math."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"M. Navarro and F. Orejas. On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. In Eurosam Conference, Oxford, 1984.","DOI":"10.1007\/BFb0032832"},{"key":"20_CR11","unstructured":"J.L. REMY. Etude des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle et applications aux types abstraits alg\u00e9briques. Th\u00e8se d'Etat de l'Institut National Polytechnique de Lorraine, Nancy, 1982."},{"key":"20_CR12","unstructured":"J.L. R\u00e9my and H. Zhang. Reveur4: a system for validating conditional algebraic specifications of abstract data types. In 6th ECAI Conference, Pisa, Italy, 1984."},{"key":"20_CR13","unstructured":"H. Zhang. REVEUR4: Etude et mise en oeuvre de la r\u00e9\u00e9criture conditionnelle. Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 de Nancy 1, 1984."},{"key":"20_CR14","series-title":"Lect. Notes in Comp. Sc.","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-15976-2_2","volume-title":"1st Conference on Rewriting Techniques and Applications, Dijon, France","author":"H. Zhang","year":"1985","unstructured":"H. Zhang and J.L. R\u00e9my. Contextual rewriting. In J.P. Jouannaud, editor, 1st Conference on Rewriting Techniques and Applications, Dijon, France, Lect. Notes in Comp. Sc. No 202, pages 46\u201362, Springer, Berlin, 1985."}],"container-title":["Lecture Notes in Computer Science","STACS 88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035845.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:15:36Z","timestamp":1607534136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540188347"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0035845","relation":{},"subject":[]}}