{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:56Z","timestamp":1725663296252},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:54:38Z","timestamp":1330192478000},"page":"1-34","source":"Crossref","is-referenced-by-count":4,"title":["Generalized heterogeneous algebras and partial interpretations"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright: Initial algebra semantics and continuous algebras. IBM Research Report RC-5701, November 1975, rJACM 24 (1977) pp. 68\u201395","journal-title":"rJACM"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-08921-7_58","volume-title":"Proc. Math. Foundations of Computer Science, Zakopane","author":"E. G. Wagner","year":"1978","unstructured":"E.G. Wagner, J.W. Thatcher, J.B. Wright: Programming languages as mathematical objects. J. Winkowski (ed.): Proc. Math. Foundations of Computer Science, Zakopane 1978, Lecture Notes in Computer Science 64, Berlin: Springer, 84\u2013101"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"G. Birkhoff, J.D. Lipson: Heterogeneous algebras. J. of Combinatorial Theory 8, 115\u2013133 (1970)","journal-title":"J. of Combinatorial Theory"},{"key":"1_CR4","unstructured":"M. Broy, M. Wirsing: Programming languages as abstract data types. M. Dauchet (ed.): 5\u00e8me CAAP, Lille, February 1980, Universit\u00e9 de Lille 1980, 160\u2013177"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-10699-5_101","volume-title":"International Colloquium on Formalization of Programming Concepts, Peniscola, April 1981","author":"M. Broy","year":"1981","unstructured":"M. Broy, M. Wirsing: On the algebraic extensions of abstract data types. J. Diaz, I. Ramos (eds.): International Colloquium on Formalization of Programming Concepts, Peniscola, April 1981, Lecture Notes in Computer Science 107, Berlin-Heidelberg-New York: Springer 1981, 244\u2013251"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing: Partial abstract data types. Acta Informatica 18:1, November 1982, 47\u201364","journal-title":"Acta Informatica"},{"key":"1_CR7","volume-title":"Universal algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"G. Gr\u00e4tzer: Universal algebra. Princeton: Van Nostrand, 1968"},{"key":"1_CR8","volume-title":"Introduction to metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"S.C. Kleene: Introduction to metamathematics. New York: Van Nostrand 1952"},{"key":"1_CR9","volume-title":"Mathematical theory of computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: Mathematical theory of computation. New York: McGraw Hill 1974"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner: Fully abstract models of typed \u03bb-calculi. TCS 4, 1\u201322(1977)","journal-title":"TCS"},{"key":"1_CR11","unstructured":"B. M\u00f6ller: Unendliche Objekte und Geflechte. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-18213, Ph. D. Thesis 1982"},{"key":"1_CR12","unstructured":"D. Scott: Outline of a mathematical theory of computation. Proc. 4th Annual Princeton Conference on Information Sciences and Systems 1970, 169\u2013176"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/BFb0022542","volume-title":"Abstract data types as lattices of finitely generated models","author":"M. Wirsing","year":"1980","unstructured":"M. Wirsing, M. Broy: Abstract data types as lattices of finitely generated models. In: Dembinski, P. (ed.): Mathematical Foundations of Computer Science \u2014 9th Symposium, Rydzyna, Poland, Sept. 1\u20135, 1980. Lecture Notes in Computer Science 88. Berlin-Heidelberg-New York: Springer 1980, p. 673\u2013685"},{"key":"1_CR14","unstructured":"M. Wirsing, P. Pepper. H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Technische Universit\u00e4t Muenchen, Institut f\u00fcr Informatik, TUM-I8007, May 1980"}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:50:53Z","timestamp":1619556653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}