{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:57Z","timestamp":1725567837101},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_11","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:09:44Z","timestamp":1287065384000},"page":"182-200","source":"Crossref","is-referenced-by-count":1,"title":["Guarded Algebras: Disguising Partiality so You Won\u2019t Know Whether Its There"],"prefix":"10.1007","author":[{"given":"Magne","family":"Haveraaen","sequence":"first","affiliation":[]},{"given":"Eric G.","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"A Model Theoretic Oriented Approach to Partial Algebras","year":"1986","author":"P. Burmeister","key":"11_CR1","unstructured":"Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras. Akademie-Verlag, Berlin (1986)"},{"key":"11_CR2","unstructured":"Cerioli, M.: Relationships between Logical Formalism. PhD thesis, Universit\u00e0 de Pisa\u2013Genova\u2013Udine (1993)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","volume":"34","author":"M. Gogolla","year":"1984","unstructured":"Gogolla, M., Drosten, K., Lipeck, U., Ehrich, H.-D.: Algebraic and operational semantics of specifications allowing exceptions and errors. Theoretical Computer Science\u00a034, 289\u2013313 (1984)","journal-title":"Theoretical Computer Science"},{"key":"11_CR4","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV, Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Yeh, R.T. (ed.) Current Trends in Programming Methodology, IV, Data Structuring, pp. 80\u2013149. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"11_CR5","series-title":"International Series of Monographs on Computer Science","volume-title":"Algebraic Specifications in Software Engineering \u2013 an introduction","author":"I. Van Horebeek","year":"1989","unstructured":"Van Horebeek, I., Lewi, J.: Algebraic Specifications in Software Engineering \u2013 an introduction. International Series of Monographs on Computer Science. Springer, Berlin (1989)"},{"key":"11_CR6","unstructured":"Haveraaen, M., Wagner, E.G.: Guarded algebras and data type specification. Technical Report 108, Department of Informatics, University of Bergen, P.O.Box 7800, N-5020 Bergen, Norway (October 1995)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/3-540-18088-5_45","volume-title":"Automata, Languages and Programming","author":"H.-J. Kreowski","year":"1987","unstructured":"Kreowski, H.-J.: Partial algebras flow from algebraic specifications. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol.\u00a0267, pp. 521\u2013530. Springer, Heidelberg (1987)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1017\/S0960129500000712","volume":"5","author":"H.-J. Kreowski","year":"1995","unstructured":"Kreowski, H.-J., Mossakowski, T.: Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras. Math Struct. in Comp. Science\u00a05, 189\u2013215 (1995)","journal-title":"Math Struct. in Comp. Science"},{"volume-title":"Proc. Logic Colloquium 1987","year":"1989","author":"J. Meseguer","key":"11_CR9","unstructured":"Meseguer, J.: General logics. In: Proc. Logic Colloquium 1987. North-Holland, Amsterdam (1989)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"11_CR11","unstructured":"Mossakowski, T.: Equivalences among various logical frameworks of partial algebras. Bericht Nr, 4\/95, Universit\u00e4t Bremen, Fachbereich Mathematik und Informatik (1995)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-56379-2_35","volume-title":"Recent Trends in Data Type Specification","author":"P.D. Mosses","year":"1993","unstructured":"Mosses, P.D.: The use of sorts in algebraic data type specification. In: Bidoit, M., Choppy, C. (eds.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol.\u00a0655, pp. 66\u201391. Springer, Heidelberg (1993)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"P.D. Mosses","year":"1997","unstructured":"Mosses, P.D.: CoFI: The common framework initiative for algebraic specification and development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 115\u2013137. Springer, Heidelberg (1997)"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"Reichel, H.: Initial Computability Algebraic Specifications, and Partial Algebras. Clarendon Press, Oxford (1987)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T10:20:41Z","timestamp":1674814841000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":14,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-44616-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}
