{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:39Z","timestamp":1725453999763},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000465","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"91-107","source":"Crossref","is-referenced-by-count":12,"title":["Permissive subsorted partial logic in CASL"],"prefix":"10.1007","author":[{"given":"Maura","family":"Cerioli","sequence":"first","affiliation":[]},{"given":"Anne","family":"Haxthausen","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"7_CR1","unstructured":"Arbib and Manes. Arrows, Structures, and Functors \u2014 The categorical Imperative. Academic Press Inc, 1975."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"P. Burmeister. Partial algebras \u2014 survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis, 15:306\u2013358, 1982.","journal-title":"Algebra Universalis"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"7_CR4","unstructured":"M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first order. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Br\u00fcckner, editors, Algebraic Foundations of Systems Specifications. 1997. To appear 9."},{"issue":"3","key":"7_CR5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"J. Goguen","year":"1994","unstructured":"Joseph Goguen and R\u0102zvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4(3):363\u2013392, September 1994.","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR6","unstructured":"J. Goguen and J. Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Functional and Logic Programming, pages 295\u2013363. 1986."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and J. Meseguer. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"A.E. Haxthausen. Order-sorted algebraic specifications with higher-order functions. Theoretical Computer Science, 183, 1997. To appear.","DOI":"10.1016\/S0304-3975(96)00323-4"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In Proceedings of AMAST'96, volume 1101 of Lecture Notes in Computer Science. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0014312"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"B. Wolff Kolyang, T. Santen. A structure preserving encoding of Z in Isabelle\/HOL. In Proc. 1996 International Conference on Theorem Proving in Higher Order Logic (Turku), volume 1125 of Lecture Notes in Computer Science. 1996.","DOI":"10.1007\/BFb0105411"},{"key":"7_CR11","unstructured":"T. Mossakowski. Representations, hierarchies and graphs of institutions. PhD thesis, Bremen University, 1996."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. CoFI: The common framework initiative for algebraic specification and development. Invited paper for TAPSOFT'97, 1997.","DOI":"10.1007\/BFb0030591"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications and Partial Algebras. Oxford Science Publications, 1987.","DOI":"10.1515\/9783112573426"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"D. S. Scott. Identity and existence in intuitionistic logic. In M.P. Fourman, C.J. Mulvey, and D.S. Scott, editors, Application of Sheaves, volume 753 of Lecture Notes in Mathematics, pages 660\u2013696. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0061839"},{"key":"7_CR15","unstructured":"CoFI: The Common Framework Initiative for Algebraic Specification. CASL \u2014 the COFI Algebraic Common Language Tentative Design: Language Summary10, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T23:19:49Z","timestamp":1683242389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0000465","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}