{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:46:40Z","timestamp":1725662800395},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_174","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:25:53Z","timestamp":1330187153000},"page":"513-522","source":"Crossref","is-referenced-by-count":7,"title":["Fixed-points and algebras with infinitely long expressions, I"],"prefix":"10.1007","author":[{"given":"J.","family":"Tiuryn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"52_CR1","unstructured":"ADJ (Authors: J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright). Rational algebraic theories and fixed-point solutions (Extended abstract). IBM Research Report, RC 6116, 1976."},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"ADJ. Some fundamentals of order \u2014 algebraic semantics. In: Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 45, pp.153\u2013168, Springer Verlag Berlin, 1976.","DOI":"10.1007\/3-540-07854-1_169"},{"key":"52_CR3","first-page":"63","volume":"15","author":"J. A. Goguen","year":"1974","unstructured":"Goguen, J.A. and Thatcher, J.W. Initial algebra semantics. IEEE Conf. Rec. SWAT 15(1974), 63\u201377.","journal-title":"IEEE Conf. Rec. SWAT"},{"key":"52_CR4","unstructured":"Gratzer, G. Universal algebra. D. Van Nostrand Co. 1968."},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Scott, D. The lattice of flow diagrams. In:Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, vol. 182, pp. 311\u2013366, Springer Verlag, 1971.","DOI":"10.1007\/BFb0059703"},{"key":"52_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A. A lattice theoretical fixpoint theorem and its applications, Pacific J. of Math. 5(1955) 285\u2013309.","journal-title":"Pacific J. of Math."},{"key":"52_CR7","unstructured":"Tiuryn, J. Fixed \u2014 points and algebras with infinitely long. expressions. Part I \u2014 regular algebras. To appear."},{"key":"52_CR8","unstructured":"Tiuryn, J. Fixed \u2014 points and algebras with infinitely long expressions. Part II \u2014 \u03bc-clones of regular algebras. To appear."},{"key":"52_CR9","unstructured":"Wand, M. A concrete approach to abstract recursive definitions. In: Automata Languages and Programming, pp.331\u2013341, North-Holland Publishing C, 1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_174.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:27Z","timestamp":1605643167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_174","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}