{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:51Z","timestamp":1725663531945},"publisher-location":"Berlin, Heidelberg","reference-count":6,"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_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:05:16Z","timestamp":1330182316000},"page":"84-90","source":"Crossref","is-referenced-by-count":7,"title":["A compiler for a class of conditional term rewriting systems"],"prefix":"10.1007","author":[{"given":"Alfons","family":"Geser","sequence":"first","affiliation":[]},{"given":"Heinrich","family":"Hussmann","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"M\u00fcck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"7_CR1","first-page":"246","volume":"186","author":"M. Bidoit","year":"1986","unstructured":"M. Bidoit, C. Choppy: ASSPEGIQUE: An integrated environment for algebraic specifications. Proc. TAPSOFT 85 Conf., Springer LNCS 186, pp. 246\u2013260 (1986)","journal-title":"Springer LNCS"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2, Proc. 12th ACM POPL Symposium, New Orleans, Louisiana (1985)","DOI":"10.1145\/318593.318610"},{"key":"7_CR3","first-page":"339","volume":"213","author":"A. Geser","year":"1986","unstructured":"A. Geser, H. Hussmann: Experiences with the RAP system \u2014 a specification interpreter combining term rewriting and resolution. In: B. Robinet, R. Wilhelm (eds.): ESOP 86 Conference Proceedings, Springer LNCS 213, pp. 339\u2013350 (1986)","journal-title":"Springer LNCS"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"S. Kaplan: A compiler for conditional term rewriting systems. Report ESPRIT Project METEOR, task 11. Also in: RTA 87 Conference Proceesdings, Springer LNCS 256, pp. 24\u201341 (1987)","DOI":"10.1007\/3-540-17220-3_3"},{"key":"7_CR5","unstructured":"H. Klaeren, K. Indermark: A new technique for compiling recursive function definitions. To appear in: Proceedings of the METEOR workshop \"Algebraic Methods: Theory, Tools and Applications,\" Passau 1987."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, 1\u201333 (1983)","journal-title":"Acta Informatica"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:53Z","timestamp":1605626213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}