{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:02Z","timestamp":1725663842980},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:41Z","timestamp":1330258181000},"page":"342-351","source":"Crossref","is-referenced-by-count":9,"title":["May I borrow your logic?"],"prefix":"10.1007","author":[{"given":"Maura","family":"Cerioli","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"2","key":"26_CR1","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1992-16203","volume":"16","author":"E. Astesiano","year":"1992","unstructured":"E. Astesiano and M. Cerioli. Partial higher-order specifications. Fundamenta Informaticae, 16(2):101\u2013126, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"26_CR2","series-title":"number 655 in LNCS","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-56379-2_37","volume-title":"Recent Trends in Data Type Specification","author":"E. Astesiano","year":"1993","unstructured":"E. Astesiano and M. Cerioli. Relationships between logical frames. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, number 655 in LNCS, pages 126\u2013143, Berlin, 1993. Springer Verlag."},{"key":"26_CR3","first-page":"292","volume-title":"The semantics of Clear, a specification language","author":"R. M. Burstall","year":"1980","unstructured":"R.M. Burstall and J.A. Goguen. The semantics of Clear, a specification language. In D. Bj\u00f8rner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, number 86 in LNCS, pages 292\u2013332, Berlin, 1980. Springer Verlag."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? Technical report, SRI International, Computer Science Laboratory, 1993. To appear.","DOI":"10.1007\/3-540-57182-5_26"},{"key":"26_CR5","unstructured":"H. Ehrig, M. Baldamus, and F. Cornelius. Theory of algebraic module specification including behavioural semantics, constraints and aspects of generalized morphisms. In Proceedings of 2nd International Conference on Algebraic Methodology and Software Technology, pages 101\u2013125, Iowa City, Iowa, USA, 1991."},{"key":"26_CR6","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 1: Equations and Initial semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"26_CR7","first-page":"44","volume-title":"Recent Trends in Data Type Specification, number 332 in LNCS","author":"J. Fiadeiro","year":"1987","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, number 332 in LNCS, pages 44\u201372, Berlin, 1987. Springer Verlag."},{"key":"26_CR8","first-page":"221","volume-title":"Logics of Programming Workshop, number 164 in LNCS","author":"J. A. Goguen","year":"1984","unstructured":"J.A. Goguen and R.M. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Logics of Programming Workshop, number 164 in LNCS, pages 221\u2013255, Berlin, 1984. Springer Verlag."},{"key":"26_CR9","first-page":"313","volume-title":"number 240 in LNCS","author":"J. A. Goguen","year":"1986","unstructured":"J.A. Goguen and R.M. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. Pitt, S. Abramsky, A. Poign\u00e9, and D. Rydehard, editors, Proceedings of Summer Workshop on Category Theory and Computer Programming, number 240 in LNCS, pages 313\u2013333, Berlin, 1986. Springer Verlag."},{"issue":"1","key":"26_CR10","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, 1992.","journal-title":"Journal of the ACM"},{"key":"26_CR11","unstructured":"J.A. Goguen and J. Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295\u2013363. Prentice-Hall, 1986."},{"key":"26_CR12","unstructured":"J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, SRI International, Computer Science Laboratory, 1992. To appear in J.A. Goguen, editor, Applications of Algebraic Specification Using OBJ, Cambridge University Press."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"R. Harper, D. Sannella, and A. Tarlecki. Logic representation in LF. In D.H. Pitt et al., editor, Category Theory and Computer Science, number 389 in LNCS, pages 250\u2013272. Springer Verlag, 1989.","DOI":"10.1007\/BFb0018356"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"B. Mayoh. Galleries and institutions. Technical Report DAIMI PB \u2014 191, Aarhus University, 1985.","DOI":"10.7146\/dpb.v14i191.7463"},{"key":"26_CR16","first-page":"275","volume-title":"General logics","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In Logic Colloquium '87, pages 275\u2013329, Amsterdam, 1989. North Holland."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. SRI Technical Report SRI-CSL-92-08, July 1992. To appear in G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"26_CR18","unstructured":"P. Padawitz and M. Wirsing. Completeness of many-sorted equational logic revisited. Bulletin EATCS, (24), 1984."},{"key":"26_CR19","first-page":"82","volume-title":"Categorical Methods in Computer Science, number 393 in LNCS","author":"A. Poign\u00e9","year":"1989","unstructured":"A. Poign\u00e9. Foundations are rich institutions, but institutions are poor foundations. In H. Ehrig, H. Herrlich, Kreowski H.-J., and G. Preu\u00df, editors, Categorical Methods in Computer Science, number 393 in LNCS, pages 82\u2013101, Berlin, 1989. Springer Verlag."},{"key":"26_CR20","first-page":"310","volume-title":"Recent Trends in Data Type Specification, number 655 in LNCS","author":"A. Salibra","year":"1992","unstructured":"A. Salibra and G. Scollo. A soft stairway to institutions. In Recent Trends in Data Type Specification, number 655 in LNCS, pages 310\u2013329, Berlin, 1992. Springer Verlag."},{"key":"26_CR21","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"D. Sannella and A. Tarlecki. On observational equivalence and specifications. Journal of Comp. and Sys. Sciences, 34:150\u2013178, 1987.","journal-title":"Journal of Comp. and Sys. Sciences"},{"key":"26_CR22","first-page":"526","volume-title":"Proceedings of Mathematical Foundation of Computer Science '84, number 176 in LNCS","author":"A. Tarlecki","year":"1984","unstructured":"A. Tarlecki. Free constructions in algebraic institutions. In M.P. Chytil and V. Koubek, editors, Proceedings of Mathematical Foundation of Computer Science '84, number 176 in LNCS, pages 526\u2013534, Berlin, 1984. Springer Verlag."},{"issue":"3","key":"26_CR23","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1985","unstructured":"A. Tarlecki. On the existence of free models in abstract algebraic institutions. Theoretical Computer Science, 37(3):269\u2013304, 1985.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:07:34Z","timestamp":1713625654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}