{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:40Z","timestamp":1725663160089},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:57:29Z","timestamp":1330203449000},"page":"155-164","source":"Crossref","is-referenced-by-count":1,"title":["Algebraically closed theories"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"11_CR1","unstructured":"J.W. Thatcher, E.G. Wagner and J.B. Wright. Rational algebraic theories and fixed-point solutions. Proceeding 17th IEEE Symposium on foundations of computing, 1976."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Eric Badouel. Algebraically closed theories. full version of the paper, to appear in INRIA report, 1989.","DOI":"10.1007\/3-540-51486-4_63"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"B. Courcelle, G. Kahn and J. Vuillemin. Algorithmes d'\u00e9quivalence et de r\u00e9duction \u00e0 des expressions minimales dans une classe d'\u00e9quations r\u00e9cursives simples. Proc. 2nd ICALP, LNCS 14, 1974.","DOI":"10.1007\/3-540-06841-4_61"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau and B. Gamati\u00e9. Modelling infinitary behaviours of communicating systems. INRIA report n 749, 1987.","DOI":"10.1007\/3-540-17660-8_54"},{"key":"11_CR5","first-page":"175","volume-title":"Proceeding of logic colloquium Bristol, 1973","author":"Calvin C. C. Elgot","year":"1975","unstructured":"Calvin C. Elgot. Monadic computation and iterative algebraic theories. in Proceeding of logic colloquium Bristol, 1973 pp 175\u2013230. North-Holland, Amsterdam, 1975."},{"key":"11_CR6","unstructured":"Michel Eytan. La s\u00e9mantique alg\u00e9brique ADJ est une s\u00e9mantique fonctorielle. S\u00e9minaire du LITP, janvier, 1984."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"F. W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Scien. USA, 50(5), 1963.","DOI":"10.1073\/pnas.50.5.869"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Robin Milner. A calculus of communicating systems. Springer Verlag LNCS, n 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"M. Makkai and G.E. Reyes. First order categorical logic. Lecture notes in mathematics vol 611, Springer-Berlin, 1977.","DOI":"10.1007\/BFb0066201"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Jerzy Tiuryn. Fixed points and algebras with infinitely long expressions part I. regular algebras in Proceedings MFCS 1977. Lecture note in computer science, 53, 1977.","DOI":"10.1007\/3-540-08353-7_174"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:22Z","timestamp":1605648082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}