{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:56Z","timestamp":1725664976630},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:36:21Z","timestamp":1330281381000},"page":"300-315","source":"Crossref","is-referenced-by-count":4,"title":["A systematic study of mappings between institutions"],"prefix":"10.1007","author":[{"given":"Alfio","family":"Martini","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"unstructured":"Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Universit\u00e0 di Pisa-Genova-Udine, 1993. TD-4\/93.","key":"17_CR1"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journal of the ACM"},{"key":"17_CR3","first-page":"275","volume-title":"Logic colloquium '87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275\u2013329. Elsevier Science Publishers B. V.,North Holland, 1989."},{"doi-asserted-by":"crossref","unstructured":"J. Meseguer and M-O. Narciso. From abstract data types to logical frameworks. In Recent Trends in Data Type Specification, pages 48\u201380. Springer, LNCS 906, 1995.","key":"17_CR4","DOI":"10.1007\/BFb0014422"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1017\/S0960129500001006","volume":"6","author":"S. Salibra","year":"1996","unstructured":"S. Salibra and G. Scollo. Interpolation and compactness in categories of pre-institutions. Mathematical Structures in Computer Science, 6:261\u2013286, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Moving between logical systems. In Recent Trends in Data Type Specification, pages 478\u2013502. Springer, LNCS 1130, 1996.","key":"17_CR6","DOI":"10.1007\/3-540-61629-2_59"},{"doi-asserted-by":"crossref","unstructured":"U. Wolter. Institutional frames. In Recent Trends in Data Type Specification, pages 469\u2013482. Springer, LNCS 906, 1995.","key":"17_CR7","DOI":"10.1007\/BFb0014445"},{"doi-asserted-by":"crossref","unstructured":"U. Wolter and A. Martini. Shedding new light in the world of logical systems. In Category Theory and Computer Science, 7th International Conference, CTCS'97, pages 159\u2013176. Springer, LNCS 1290, 1997.","key":"17_CR8","DOI":"10.1007\/BFb0026987"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:45:12Z","timestamp":1619559912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}