{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:24:46Z","timestamp":1747290286329},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014445","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"469-482","source":"Crossref","is-referenced-by-count":8,"title":["Institutional frames"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"26_CR1","unstructured":"Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Universit\u00e0 di Pisa-Genova-Udine, 1993. TD-4\/93."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"M. Cerioli and J. Meseguer. May I Borrow Your Logic? Proc. MFCS'93, LNCS 711, Springer, 1993, pp. 342\u2013351.","DOI":"10.1007\/3-540-57182-5_26"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and R. M. Burstall. Introducing institutions. In Proc. Logics of Programming Workshop, LNCS 164, pages 221\u2013256. Carnegie-Mellon, Springer, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"issue":"1","key":"26_CR4","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. Journals of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journals of the ACM"},{"key":"26_CR5","unstructured":"H.-J. Kreowski and T. Mossakowski. Equivalence and Difference of Intitutions: Simulating Horn Clause Logic With Based Algebras. Technical report, Universit\u00e4t Bremen, 1993, to appear in MSCS."},{"key":"26_CR6","doi-asserted-by":"crossref","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":"10.1016\/S0049-237X(08)70132-0"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"S. Salibra and G. Scollo. A soft stairway to institutions. In Recent Trends in Data Type Specification, pages 310\u2013329. Springer, 1992. LNCS 655.","DOI":"10.1007\/3-540-56379-2_47"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. TCS, 1991, pp. 239\u2013264.","DOI":"10.1016\/0304-3975(91)90085-G"},{"key":"26_CR9","series-title":"Technical Report Bericht-Nr. 94-22","volume-title":"How to Cope with the Spectrum of SPECTRUM","author":"U. Wolter","year":"1994","unstructured":"U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wess\u201daly, and H. Ehrig. How to Cope with the Spectrum of SPECTRUM. Technical Report Bericht-Nr. 94-22, TU Berlin, FB Informatik, 1994."},{"key":"26_CR10","series-title":"Technical Report Bericht-Nr. 94-24","volume-title":"Four Institutions \u2014 A Unified Presentation of Logical Systems for Specification","author":"U. Wolter","year":"1994","unstructured":"U. Wolter, M. Klar, R. Wess\u00e4ly, and F. Cornelius. Four Institutions \u2014 A Unified Presentation of Logical Systems for Specification. Technical Report Bericht-Nr. 94-24, TU Berlin, Fachbereich Informatik, 1994."},{"key":"26_CR11","volume-title":"Technical report","author":"U. Wolter","year":"1995","unstructured":"Uwe Wolter. Institutional frames \u2014 a new perspective on logical systems. Technical report, TU Berlin, Fachbereich Informatik, 1995. in preparation."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T14:03:16Z","timestamp":1586613796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0014445","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}