{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:23Z","timestamp":1725486323915},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_34","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"486-501","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Single Perspective on Arrows 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":[[1999,1,15]]},"reference":[{"key":"34_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-61629-2_38","volume-title":"Recent Trends in Type Specification","author":"M. Arrais","year":"1996","unstructured":"M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Type Specification, pages 81\u2013101. Springer, LNCS 1130, 1996."},{"key":"34_CR2","unstructured":"Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Universit\u00e0 di Pisa-Genova-Udine, 1993. TD-4\/93."},{"key":"34_CR3","unstructured":"R. Diaconescu. Extra-theory morphisms in institutions: logical semantics for multiparadigm languages. Journal Applied Categorical Structures, 1998. To appear."},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"R. Diaconescu and K Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31\u201354, 1998. TU Muenchen, Technical Report TUM-19803.","DOI":"10.1142\/3831"},{"issue":"1","key":"34_CR5","doi-asserted-by":"crossref","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":"34_CR6","unstructured":"A. Martini. Unifying Arrows between Institutions. PhD thesis, Technical University of Berlin, 1998. To appear."},{"key":"34_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-64299-4_41","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Martini","year":"1998","unstructured":"A. Martini and U. Wolter. A systematic study of mappings between institutions. In Recent Trends in Algebraic Development Techniques, pages 300\u2013315. Springer, LNCS 1376, 1998."},{"key":"34_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume-title":"Logic colloquium\u2019 87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium\u2019 87, pages 275\u2013329. Elsevier Sience Publishers B. V., North Holland, 1989."},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BFb0014422","volume-title":"Recent Trends in Data Type Specification","author":"J. Meseguer","year":"1995","unstructured":"J. Meseguer and N. Martin-Olliet. From abstract data types to logical frameworks. In Recent Trends in Data Type Specification, pages 48\u201380. Springer, LNCS 906, 1995."},{"key":"34_CR10","unstructured":"T. Mossakowski. Translating OBJ3 into CASL. 1998. Submitted to WADT\u201998."},{"key":"34_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems using model-theoretic parchments. In Recent Trends in Algebraic Development Techniques, pages 349\u2013364. Springer, LNCS 1376, 1998."},{"key":"34_CR12","doi-asserted-by":"publisher","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 preinstitutions. Mathematical Structures in Computer Science, 6:261\u2013286, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004904401346","volume":"59","author":"A. Sernadas","year":"1997","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217\u2013247, 1997.","journal-title":"Studia Logica"},{"key":"34_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/BFb0000490","volume-title":"Algebraic Methodology and Software Technology-AMAST","author":"A. Sernadas","year":"1997","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In Algebraic Methodology and Software Technology-AMAST, pages 465\u2013478. Springer, LNCS 1349, 1997."},{"key":"34_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"A. Tarlecki. Moving between logical systems. In Recent Trends in Data Type Specification, pages 478\u2013502. Springer, LNCS 1130, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:48:40Z","timestamp":1558259320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"15 January 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}