{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:40Z","timestamp":1761611260616,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48483-3_6","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"79-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Functorial Semantics for Multi-algebras"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R. Bruni","year":"1999","unstructured":"R. Bruni, F. Gadducci, and U. Montanari. Normal forms for partitions and relations. In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, LNCS. Springer Verlag, 1999. This volume."},{"key":"6_CR2","unstructured":"A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gsmonoidal categories. Applied Categorical Structures, 1998. To appear."},{"key":"6_CR3","unstructured":"A. Corradini and F. Gadducci. Rewriting on cyclic structures. Technical Report TR-98-05, Dipartimento di Informatica, Pisa, 1998. Extended abstract in Fixed Points in Computer Science, satellite workshop of MFCS\u201998."},{"key":"6_CR4","unstructured":"F. Gadducci. On the Algebraic Approach to Concurrent Term Rewriting. PhD thesis, University of Pisa-Department of Computer Science, 1996."},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-64299-4_36","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Gadducci","year":"1998","unstructured":"F. Gadducci and R. Heckel. An inductive view of graph transformation. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 219\u2013233. Springer Verlag, 1998."},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-61629-2_46","volume-title":"Recent Trends in Data Types Specification","author":"U. Hensel","year":"1995","unstructured":"U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specification, volume 1130 of LNCS, pages 237\u2013255. Springer Verlag, 1995."},{"key":"6_CR7","unstructured":"H.-J. Hoenke. On partial algebras. In Universal Algebra, volume 29 of Colloquia Mathematica Societatis J\u00e1nos Bolyai, pages 373\u2013412. 1977."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-08442-8_93","volume-title":"Fundamentals of Computation Theory","author":"H.-J. Hoenke","year":"1977","unstructured":"H.-J. Hoenke. On partial recursive definitions and programs. In M. Karpinski, editor, Fundamentals of Computation Theory, volume 56 of LNCS, pages 260\u2013274. Springer Verlag, 1977."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","volume":"69","author":"B. Jacobs","year":"1994","unstructured":"B. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73\u2013106, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"G.M. Kelly and R.H. Street. Review of the elements of 2-categories. In G.M. Kelly, editor, Sydney Category Seminar, volume 420 of Lecture Notes in Mathematics, pages 75\u2013103. Springer Verlag, 1974.","DOI":"10.1007\/BFb0063101"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"A. Kock and G.E. Reyes. Doctrines in categorical logic. In J. Barwise, editor, Handbook of Mathematical Logic, pages 283\u2013313. North Holland, 1977.","DOI":"10.1016\/S0049-237X(08)71104-2"},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-59340-3_13","volume-title":"Term Rewriting","author":"Y. Lafont","year":"1995","unstructured":"Y. Lafont. Equational reasoning with 2-dimensional diagrams. In H. Comon and J-P. Jouannaud, editors, Term Rewriting, volume 909 of LNCS, pages 170\u2013195. Springer Verlag, 1995."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Science, 50:869\u2013872, 1963.","journal-title":"Proc. National Academy of Science"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the working mathematician. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E. Robinson","year":"1988","unstructured":"E. Robinson and G. Rosolini. Categories of partial maps. Information and Computation, 79:95\u2013130, 1988.","journal-title":"Information and Computation"},{"key":"6_CR16","unstructured":"E.G. Wagner, S.L. Bloom, and J.W. Thatcher. Why algebraic theories? In M. Nivat and J.C. Reynolds, editors, Algebraic methods in semantics, pages 607\u2013634. Cambridge University Press, 1985."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-64299-4_48","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Walicki","year":"1998","unstructured":"M. Walicki and M. Bialasik. Categories of relational structures. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 418\u2013433. Springer Verlag, 1998."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/248621.248623","volume":"29","author":"M. Walicki","year":"1997","unstructured":"M. Walicki and S. Meldal. Algebraic approaches to nondeterminism: An overview. ACM Computing Surveys, 29:30\u201381, 1997.","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T02:07:55Z","timestamp":1615514875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}