{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T02:10:03Z","timestamp":1736129403452,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029638","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"423-429","source":"Crossref","is-referenced-by-count":3,"title":["Equational calculi for many-sorted algebras with empty carrier sets"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Manca","sequence":"first","affiliation":[]},{"given":"Antonino","family":"Salibra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","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."},{"unstructured":"Ehrig H., Loeckx J. and Mahr B., A Remark on the Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets, Bulletin of the EATCS, n.30, October 1986.","key":"47_CR2"},{"doi-asserted-by":"crossref","unstructured":"Ehrig H. and Mahr B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer Verlag, 1985.","key":"47_CR3","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"3","key":"47_CR4","first-page":"307","volume":"11","author":"J.A. Goguen","year":"1985","unstructured":"Goguen J.A. and Meseguer J., Completeness of Many-Sorted Equational Logic, Houston Journal of Mathematics, Vol.11, n.3, 1985, 307\u2013334.","journal-title":"Houston Journal of Mathematics"},{"unstructured":"Meseguer J. and Goguen J.A., Initiality, Induction and Computability, in M. Nivat and J.C. Reynolds (Eds.) Algebraic Methods in Semantics, Cambridge University Press, 1985, 459\u2013541.","key":"47_CR5"},{"unstructured":"Goguen J.A. and Meseguer J., Remarks on Remarks on Many-Sorted Equational Logic, Bulletin of the EATCS, n. 30, October 1986.","key":"47_CR6"},{"doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer G., Universal Algebra, Springer Verlag, 1979, second edition.","key":"47_CR7","DOI":"10.1007\/978-0-387-77487-9"},{"doi-asserted-by":"crossref","unstructured":"Huet G. and Oppen D.C., Equations and Rewrite Rules: a Survey, in R. Book (Ed.), Formal Language Theory: Perspective and Open Problems, Academic Press, 1980, 349\u2013405.","key":"47_CR8","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"unstructured":"Manca V. and Salibra A., Soundness and Completeness of the Birkhoff Many-Sorted Equational Calculus with Possibly Empty Carrier Sets, submitted to Theoretical Computer Science.","key":"47_CR9"},{"unstructured":"Markusz Z., On Many-sorted Logic, in Communications of Computer Science, Inst. of Hungarian Acad. Sci., 1983.","key":"47_CR10"},{"unstructured":"Markusz Z., Validity Concepts for Many-sorted Logic Allowing Empty Sorts, in Communications of Computer Science, Inst. of Hungarian Acad. Sci., 1984.","key":"47_CR11"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029638.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:33:55Z","timestamp":1736127235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0029638","relation":{},"subject":[]}}