{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:22Z","timestamp":1761611122309},"reference-count":22,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1051\/ita:2003021","type":"journal-article","created":{"date-parts":[[2004,1,16]],"date-time":"2004-01-16T05:13:14Z","timestamp":1074229994000},"page":"301-314","source":"Crossref","is-referenced-by-count":5,"title":["Solving Algebraic Equations Using Coalgebra"],"prefix":"10.1051","volume":"37","author":[{"given":"Federico","family":"De Marchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Ghani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2004,1,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(02)00728-4","volume":"300","author":"Aczel","year":"2003","journal-title":"Theor. Comput. Sci."},{"key":"R2","doi-asserted-by":"crossref","unstructured":"P. Aczel, J. Ad\u00e1mek and J. Velebil, A coalgebraic view of infinite trees and iteration, inProceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, edited by A. Corradini, M. Lenisa and U. Montanari, Genova, Italy, 6-7 April 2001. Elsevier,Electronics Notes Theor. Comput. Sci.44(2001).","DOI":"10.1016\/S1571-0661(04)80900-9"},{"key":"R3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/logcom\/12.2.217","volume":"12","author":"Ad\u00e1mek","year":"2002","journal-title":"J. Log. Comput."},{"key":"R4","doi-asserted-by":"crossref","unstructured":"J. Ad\u00e1mek and J. Rosicky, Locally Presentable and Accessible Categories. Cambridge University Press,London Math. Soc. Lecture Notes189(1994).","DOI":"10.1017\/CBO9780511600579"},{"key":"R5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1017\/S0960129502003924","volume":"13","author":"Ad\u00e1mek","year":"2003","journal-title":"Math. Struct. Comput. Sci."},{"key":"R6","unstructured":"M. Barr, Terminal coalgebras for endofunctors on sets. Available from (1999)."},{"key":"R7","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"Elgot","year":"1978","journal-title":"J. Comp. Syst. Sci."},{"key":"R8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"Courcelle","year":"1983","journal-title":"Theor. Comput. Sci."},{"key":"R9","doi-asserted-by":"crossref","unstructured":"N. Ghani, C. L\u00fcth and F. De Marchi, Coalgebraic approaches to algebraic terms, inFixed Points in Computer Science, edited by Z. \u00c9sik and A. Ing\u00f3lfsd\u00f3ttir.BRICS Notes Series6-8, July 20-21NS-02-2(2002).","DOI":"10.1016\/S1571-0661(04)80360-8"},{"key":"R10","unstructured":"N. Ghani, C. L\u00fcth and F. De Marchi, Coalgebraic monads, inProc. 5th Workshop on Coalgebraic Methods in Computer Science, edited by L.M. Moss, Grenoble, France, 6-7 April (2002)."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"N. Ghani, C. L\u00fcth, F. De Marchi and J. Power, Algebras, coalgebras, monads and comonads, inProceedings 4th Workshop on Coalgebraic Methods in Computer Science, edited by A. Corradini, M. Lenisa and U. Montanari, Genova, Italy, 6-7 April 2001. Elsevier,Electronics Notes Theor. Comput. Sci.44(2001).","DOI":"10.1016\/S1571-0661(04)80905-8"},{"key":"R12","unstructured":"I. Guessarian, Algebraic Semantics. Springer-Verlag,Lecture Notes Comput. Sci.99(1979)."},{"key":"R13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"Kelly","year":"1980","journal-title":"Bull. of Austral. Math. Soc."},{"key":"R14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"Kelly","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"C. L\u00fcth and N. Ghani, Monads and modular term rewriting, inProc. 7th Int. Conf. on Category Theory and Computer Science, edited by E. Moggi and G. Rosolini, Santa Margherita Ligure, Italy, 4-6 September 1997. Springer-Verlag,Lecture Notes Comput. Sci.129069-86 (1997).","DOI":"10.1007\/BFb0026982"},{"key":"R16","unstructured":"F. De Marchi,Monads in Coalgebra. Ph.D. thesis, Univ. of Leicester (2003) (Submitted)."},{"key":"R17","unstructured":"S. Milius,Final coalgebras in categories of monads(unpublished)."},{"key":"R18","unstructured":"S. Milius, Free iterative theories: a coalgebraic view (extended abstract), presented at FICS 2001 - Fixed Points in Computer Science, 7-8 September, Florence, Italy (2001)."},{"key":"R19","unstructured":"L. Moss, The coalgebraic treatment of second-order substitution and uniinterpreted recursive program schemes. Privately circulated manuscript."},{"key":"R20","unstructured":"L. Moss, Parametric corecursion. Preprint, available at http:\/\/math.indiana.edu\/home\/moss\/parametric.ps"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"N. Ghani and T. Uustalu, Explicit substitutions and presheafs, inProceedings of MERLIN(2003).","DOI":"10.1145\/976571.976580"},{"key":"R22","unstructured":"E. Robinson, Variations on algebra: monadicity and generalisation of equational theories. Technical Report 6\/94, Sussex Computer Science (1994)."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003021\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,8]],"date-time":"2018-04-08T02:58:03Z","timestamp":1523156283000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2003021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":22,"journal-issue":{"issue":"4"},"alternative-id":["ita0314"],"URL":"https:\/\/doi.org\/10.1051\/ita:2003021","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}