{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T02:40:18Z","timestamp":1736131218100,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354013350X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032832","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:41:26Z","timestamp":1133430086000},"page":"74-85","source":"Crossref","is-referenced-by-count":5,"title":["On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems"],"prefix":"10.1007","author":[{"given":"M.","family":"Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B. \"Specification of abstract data types using conditional axioms\", IBM T.J.Watson Res. Center Rep. RC-6214, 1976."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B. \"Data type specification: parameterization and the power of specification techniques\". Proc. 10th STOC, 1978.","DOI":"10.1145\/800133.804340"},{"key":"9_CR3","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G. \"An initial algebra approach to the specification, correctness and implementation of abstract data types\", in \u2018Current Trends in Programming Methodology, Vol IV: Data Structuring\u2019 R.T. Yeh (ed.), Prentice-Hall 1978."},{"key":"9_CR4","unstructured":"Brand, D.; Darringuer, J.A.; Joyner, W.H. \"Completeness of conditional reductions\", IBM T.J.Watson Res. Center Rep. RC-7404, 1978."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A.; Broy, M.; Tucker, J.V.; Wirsing, M. \"On the power of algebraic specifications\", Proc. 10th, MFCS Springer LNCS 118, 1981.","DOI":"10.1007\/3-540-10856-4_85"},{"key":"9_CR6","unstructured":"Bergstra, J.A.; Klop, J.W. \"Conditional rewrite rules: confluency and termination\", Math. Centre Amsterdam, Internal report."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A.; Tucker, J.V. \"A characterization of computable and semi-computable data types by means of a finite specification method\", Proc. 7th. ICALP, Springer LNCS 85, 1980.","DOI":"10.1007\/3-540-10003-2_61"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Drosten, K. \"Towards executable specifications using conditional axioms\" T.U. Braunschweig rep. 83-10, 1983.","DOI":"10.1007\/3-540-12920-0_8"},{"key":"9_CR9","unstructured":"Goguen, J.A. \"Abstract errors for abstract data types\", Proc. Conf. on Formal Description of Programming Concepts, North-Holland 1978."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Huet, G.; Oppen, D.C. \"Equations and rewrite rules; a survey\", in \u2018Formal Language Theory: Perspectives and Open Problems', R. Book (ed.), Acad. Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"9_CR11","unstructured":"Navarro, M. \"Conditional term rewriting systems\", Master's Thesis, Univ. Complutense, Madrid 1983 (in Spanish)."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Orejas, F \"On the power of conditional specifications\", Sigplan Notices 14,7 (July 1979).","DOI":"10.1145\/954245.954252"},{"key":"9_CR13","unstructured":"Pletat, U.; Engels, G.; Ehrich H.-D. \"Operational semantics of algebraic specifications with conditional equations\", Dortmund Univ. rep 118\/81, 1981."},{"key":"9_CR14","unstructured":"Remy, J.-L. \"Etude des systemes de reecriture conditionnels et applications aux types abstraits algebriques\", these de doctorat, C.R.I. Nancy, 1982."},{"key":"9_CR15","unstructured":"Remy, J.-L. \"Proving conditional identities by equational case reasoning, rewriting and normalization\", Tech. Rep. CRI Nancy 1982."},{"issue":"1","key":"9_CR16","first-page":"1","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M.; Pepper, P.; Partsch, H.; Dosch, W; Broy, M. \"On hierarchies of abstract data types\", Acta Informatics 20, 1 pp. 1\u201334; 1983.","journal-title":"Acta Informatics"}],"container-title":["Lecture Notes in Computer Science","EUROSAM 84"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:58:30Z","timestamp":1736128710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354013350X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0032832","relation":{},"subject":[]}}