{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:47:07Z","timestamp":1725626827815},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249327"},{"type":"electronic","value":"9783642249334"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24933-4_14","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T04:11:49Z","timestamp":1319861509000},"page":"277-298","source":"Crossref","is-referenced-by-count":0,"title":["Parameterized Metareasoning in Membership Equational Logic"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Palomino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Transactions on Computational Logic\u00a05(3), 528\u2013576 (2004)","DOI":"10.1145\/1013560.1013566"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Basin, D., Matthews, S.: Structuring metatheory on inductive definitions. Information and Computation\u00a0162(1\/2), 80\u201395 (2000)","DOI":"10.1006\/inco.2000.2858"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","DOI":"10.1016\/S0304-3975(99)00206-6"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Clavel, M., Mart\u00ed-Oliet, N., Palomino, M.: Formalizing and proving semantic relations between specifications by reflection. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 72\u201386. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27815-3_10"},{"key":"14_CR5","unstructured":"Clavel, M., Meseguer, J.: Axiomatizing reflective logics and languages. In: Kiczales, G. (ed.) Proceedings of Reflection 1996, San Francisco, California, pp. 263\u2013288 (April 1996)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Clavel, M., Meseguer, J., Palomino, M.: Reflection in membership equational logic, many-sorted equational logic, Horn-logic with equality, and rewriting logic. Theoretical Computer Science\u00a0373(1-2), 70\u201391 (2007)","DOI":"10.1016\/j.tcs.2006.12.009"},{"key":"#cr-split#-14_CR7.1","unstructured":"7. Clavel, M., Palomino, M., Riesco, A.: Introducing the ITP tool: A tutorial. Journal of Universal Computer Science\u00a012(11), 1618-1650 (2006)"},{"key":"#cr-split#-14_CR7.2","unstructured":"8. Special issue with extended versions of selected papers from PROLE 2005: The Fifth Spanish Conference on Programming and Languages"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Finitary inductively presented logics. In: Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 1988, pp. 191\u2013220. North-Holland (1989)","DOI":"10.1016\/S0049-237X(08)70270-2"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039(1), 95\u2013146 (1992)","DOI":"10.1145\/147508.147524"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-64299-4_26"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling: Actors, Open Systems, Biological Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24933-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T08:09:19Z","timestamp":1555229359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24933-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249327","9783642249334"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24933-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}