{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:36Z","timestamp":1742635956102,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:21:36Z","timestamp":1330208496000},"page":"121-142","source":"Crossref","is-referenced-by-count":3,"title":["Non-strict don't care algebras and specifications"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Maura","family":"Cerioli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Astesiano E.; Cerioli M. \u201cOn the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications\u201d, Proc. TAPSOFT'89, vol. 1, Lecture Notes in Computer Science n. 351, 1989.","DOI":"10.1007\/3-540-50939-9_125"},{"key":"8_CR2","unstructured":"Astesiano E.; Cerioli M. \u201cCommuting between Institutions via Simulation\u201d submitted for acceptance, also available as Technical Report n. 2, 1990, Formal Methods Group, University of Genoa (Italy)."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Astesiano E.; Cerioli M. \u201cNon-strict don't care algebras and specifications\u201d, Technical Report n. 5, 1990, Formal Methods Group, University of Genoa (Italy).","DOI":"10.1007\/3-540-53982-4_8"},{"key":"8_CR4","doi-asserted-by":"crossref","DOI":"10.1515\/9783112720875","volume-title":"A Model Theoretic Oriented Approach to Partial Algebras","author":"P Burmeister","year":"1986","unstructured":"Burmeister P. A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag Berlin, 1986."},{"key":"8_CR5","unstructured":"Broy M. Partial Interpretation of Higher-Order Algebraic Types, in Proc. of Mathematical foundations of Computer Science 1986, Lecture Notes in Computer Science n.233."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Broy M.; Wirsing M. \u201cPartial abstract types\u201d, Acta Informatica 18 (1982).","DOI":"10.1007\/BF00625280"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Broy M.; Wirsing M., \u201cGeneralized Heterogeneous Algebras and Partial Interpretations\u201d Proc. CAAP'84, Lecture Notes in Computer Science n.159, 1984.","DOI":"10.1007\/3-540-12727-5_1"},{"key":"8_CR8","unstructured":"Cerioli M. \u201cA sound and equationally-complete deduction system for partial conditional (higher order) types\u201d, Proc 3rd Italian Conference of Theoretical Computer Science, World Scientific, 1989."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Goguen J.A.; Burstall R.M. \u201cIntroducing Institutions\u201d. Logic of Programs, Lecture Notes in Computer Science n. 164, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"8_CR10","unstructured":"Goguen J.A.; Burstall R.M. \u201cInstitutions: Abstract Model Theory for Specification and Programming\u201d. Technical Report of Computer Science Laboratory, SRI International, 1990."},{"key":"8_CR11","unstructured":"Keisler H.J. Model Theory for Infinitary Logic, North-Holland, 1971."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Meseguer J. \u201cGeneral logic\u201d, in Proc. Logic Colloquium '87, H.-D. Ebbinghaus et al. (eds.), North-Holland, 1989","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"8_CR13","unstructured":"Meseguer J.; Goguen J.A. \u201cInitiality, Induction and Computability\u201d, in Algebraic Methods in Semantics, Cambridge University Press, 1985."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Manca V.; Salibra A \u201cEquational Calculi for Many-sorted Algebras with Empty Carriers\u201d, Proc. Mathematical Foundations of Computer Science 1990, Lecture Notes in Computer Science n.452, 1990.","DOI":"10.1007\/BFb0029638"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Poign\u00e9 A. \u201cPartial Algebras, Subsorting, and Dependent Types\u201d, Proc. 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland September '87, Lecture Notes in Computer Science n. 332, 1988.","DOI":"10.1007\/3-540-50325-0_11"},{"key":"8_CR16","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1986","unstructured":"Reichel H. Initial Computability, Algebraic Specifications, and Partial Algebras, Akademie-Verlag, Berlin, 1986."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Tarlecki A. \u201cQuasi-varieties in Abstract Algebraic Institutions\u201d, Journal of Computer and System Science, n. 33, 1986.","DOI":"10.1016\/0022-0000(86)90057-7"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Wirsing M. \u201cAlgebraic Specification\u201d in Handbook of Theoretical Computer Science, vol.B, Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:12:41Z","timestamp":1742591561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}