{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T05:28:54Z","timestamp":1734586134378,"version":"3.30.2"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1985,6,1]],"date-time":"1985-06-01T00:00:00Z","timestamp":486432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1985,6,1]],"date-time":"1985-06-01T00:00:00Z","timestamp":486432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,6]]},"DOI":"10.1007\/bf00264231","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T17:17:22Z","timestamp":1096305442000},"page":"203-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An effectively given initial semigroup"],"prefix":"10.1007","volume":"22","author":[{"given":"Tsutomu","family":"Kamimura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1985,6,1]]},"reference":[{"key":"BF00264231_CR1","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/0022-0000(82)90059-9","volume":"24","author":"J. Ad\u00e1mek","year":"1982","unstructured":"Ad\u00e1mek, J., Nelson, E., Reterman, J.: Tree Constructions of Free Continuous Algebras. J. Comput. Syst. Sci. 24, 114\u2013146 (1982)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00264231_CR2","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"S.L. Bloom","year":"1976","unstructured":"Bloom, S.L.: Varieties of Ordered Algebras. J. Comput. Syst. Sci. 13, 200\u2013212 (1976)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00264231_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01704020","volume":"9","author":"J. Engelfriet","year":"1975","unstructured":"Engelfriet, J.: Bottom-up and Top-down Tree Transformations-A Comparison. Math. Syst. Theory 9, 193\u2013231 (1975)","journal-title":"Math. Syst. Theory"},{"key":"BF00264231_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.A., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. J. Assoc. Comput. Mach. 24, 68\u201395 (1977)","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF00264231_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0304-3975(83)90092-0","volume":"27","author":"T. Kamimura","year":"1983","unstructured":"Kamimura, T., Tang, A.: Algebraic Relations and Presentations. Theor. Comput. Sci. 27, 39\u201360 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"BF00264231_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(84)90016-1","volume":"29","author":"T. Kamimura","year":"1984","unstructured":"Kamimura, T., Tang, A.: Effectively Given Spaces. Theor. Comput. Sci. 29, 155\u2013166 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"BF00264231_CR7","doi-asserted-by":"crossref","unstructured":"Kanda, A.: Effective Solutions of Recursive Domain Equations. Ph.D. Thesis, Warwick University 1980","DOI":"10.1007\/3-540-09526-8_30"},{"key":"BF00264231_CR8","doi-asserted-by":"crossref","unstructured":"Lehmann, D.J.: On the Algebra of Order. Proc. 19th Symp. Found. Comput. Sci. pp. 214\u2013220. IEEE Computer Society 1978","DOI":"10.1109\/SFCS.1978.28"},{"key":"BF00264231_CR9","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-08442-8_96","volume":"56","author":"J. Meseguer","year":"1977","unstructured":"Meseguer, J.: On the Order-Complete Universal Algebra and Enriched Functorial Semantics. Lect. Notes Comput. Sci. 56, 294\u2013301 (1977)","journal-title":"Lect. Notes Comput. Sci."},{"key":"BF00264231_CR10","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data Types as Lattices. SIAM J. Comput. 5, 522\u2013587 (1976)","journal-title":"SIAM J. Comput."},{"key":"BF00264231_CR11","unstructured":"Scott, D.: Lecture on a mathematical theory of computation. Oxford University Comput. Laboratory, Technical monograph PRG-19, 1981"},{"key":"BF00264231_CR12","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. Smyth","year":"1977","unstructured":"Smyth, M.: Effectively Given Domains. Theor. Comput. Sci. 5, 257\u2013274 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"BF00264231_CR13","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof Theory. Amsterdam: North-Holland 1975"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264231.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF00264231\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264231.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T19:10:43Z","timestamp":1734549043000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF00264231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,6]]}},"alternative-id":["BF00264231"],"URL":"https:\/\/doi.org\/10.1007\/bf00264231","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[1985,6]]},"assertion":[{"value":"13 November 1984","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 June 1985","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}