{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:55Z","timestamp":1725663535636},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T01:42:56Z","timestamp":1330220576000},"page":"15-30","source":"Crossref","is-referenced-by-count":1,"title":["Hierarchical contextual rewriting with several levels"],"prefix":"10.1007","author":[{"given":"Wadoud","family":"Bousdira","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"R\u00e9my","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"2_CR1","unstructured":"W. Bousdira and J.L. R\u00e9my. Compl\u00e9tion des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle. AFCET, Actes des journ\u00e9es GROSPLAN, revue BIGRE+GLOBULE, 1987."},{"key":"2_CR2","series-title":"Lect. Notes in Comp. Sc","volume-title":"5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux","author":"W. Bousdira","year":"1988","unstructured":"W. Bousdira and J.L. R\u00e9my. Hierarchical contextual rewriting with several levels. In 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, Lect. Notes in Comp. Sc, Springer, Berlin, 1988."},{"key":"2_CR3","series-title":"Lect. Notes in Comp. Sc.","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/BFb0039613","volume-title":"Ground term confluence in parametric conditional equational specifications","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":"2_CR4","unstructured":"J. Hsiang. Refutational theorem proving using term rewriting systems. Res. Report, 1981."},{"key":"2_CR5","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":"2_CR6","volume-title":"Reductive conditional term rewriting systems","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":"2_CR7","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. Ait-Kaci 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":"2_CR8","volume-title":"T\u00e9cnicas de Reescritura para especificationes condicionales","author":"M. L. Navarro","year":"1987","unstructured":"M.L. Navarro. T\u00e9cnicas de Reescritura para especificationes condicionales. Th\u00e8se Doctorale de l'Universit\u00e9 Polytechnique de Catalogne, Barcelona, 1987."},{"key":"2_CR9","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":"2_CR10","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":"2_CR11","unstructured":"J.W. Thatcher and E.G. Wagner. Specification of abstract data types using conditional axioms. IBM T.J. Watson Res Center Rep RC-6214, 1976."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher and E.G. Wagner. Data type specification: parametrization and the power of specification techniques. In ACM TOPLAS 4,4, pages 711\u2013732, 1982.","DOI":"10.1145\/69622.357192"},{"key":"2_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":"2_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":"Contextual rewriting","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","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:20:15Z","timestamp":1619558415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}