{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:13Z","timestamp":1747579573639},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:18:55Z","timestamp":1330183135000},"page":"64-80","source":"Crossref","is-referenced-by-count":1,"title":["Loose diagrams, semigroupoids, categories, groupoids and iteration"],"prefix":"10.1007","author":[{"given":"G.","family":"Germano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","unstructured":"G. Birkhoff, Lattice theory, AMS Colloq. Publ. 25, (1967)."},{"key":"6_CR2","unstructured":"S. Eilenberg, Automata, Languages and Machines, Vol. A, New York 1974."},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1073\/pnas.61.2.378","volume":"61","author":"S. Eilenberg","year":"1968","unstructured":"S. Eilenberg and C.C. Elgot, Iteration and recursion, Proc. Nat. Acad. Sci. U.S.A. 61 (1968), 378\u2013379.","journal-title":"Proc. Nat. Acad. Sci."},{"key":"6_CR4","unstructured":"S. Eilenberg and C.C. Elgot, Recursiveness, New York 1970."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","volume":"58","author":"S. Eilenberg","year":"1945","unstructured":"S. Eilenberg, S. Mac Lane, General theory of natural equivalences, Trans. Am. Math. Soc. 58 (1945) 231\u2013294","journal-title":"Trans. Am. Math. Soc."},{"issue":"9","key":"6_CR6","first-page":"119","volume":"2","author":"A. Grothendieck","year":"1957","unstructured":"A. Grothendieck, Sur quelques points d'alg\u00e8bre homologique, T\u00f4hoku Math. J., Ser. 2, 9 (1957) 119\u2013221.","journal-title":"T\u00f4hoku Math. J."},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0099485","volume":"1104","author":"G. Germano","year":"1984","unstructured":"G. Germano and S. Mazzanti, Partial closures and semantics of while: towards an iteration-based theory of data types, Computation and proof theory, Lecture notes in mathematics 1104 (1984) 163\u2013174.","journal-title":"Lecture notes in mathematics"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-18170-9_163","volume":"270","author":"G. Germano","year":"1987","unstructured":"G. Germano and S. Mazzanti, A setting for generalized computability, Computation theory and logic, Lecture notes in computer science 270 (1987) 154\u2013165.","journal-title":"Lecture notes in computer science"},{"key":"6_CR9","unstructured":"G. Germano and A. Maggiolo-Schettini, Markow's algorithms without concluding formulas, 4th Congrss for Logic, Methodology and Philosophy of Science, Bucharest 1971."},{"key":"6_CR10","first-page":"332","volume":"19","author":"G. Germano","year":"1972","unstructured":"G. Germano and A. Maggiolo-Schettini, A characterization of partial recursive functions via sequence functions, Notices Amer. Math. Soc. 19 (1972), 332.","journal-title":"Notices Amer. Math. Soc."},{"key":"6_CR11","first-page":"1325","volume":"276","author":"G. Germano","year":"1973","unstructured":"G. Germano and A. Maggiolo-Schettini, Quelques caracterizations des functions recursives partielles, C.R. Acad. Sci. Paris, S\u00e9r. A, 276 (1973), 1325\u20131327.","journal-title":"C.R. Acad. Sci. Paris"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(75)90050-2","volume":"4","author":"G. Germano","year":"1975","unstructured":"G. Germano and A. Maggiolo-Schettini, Sequence-to-sequence recursiveness, Information Processing Lett. 4 (1975), 1\u20136.","journal-title":"Information Processing Lett."},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/mana.19600220502","volume":"22","author":"M. Hasse","year":"1960","unstructured":"M. Hasse, Einige Bemerkung \u00fcber Graphen, Kategorien und Gruppoide, Math. Nachr. 22 (1960) 255\u2013270.","journal-title":"Math. Nachr."},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1017\/S0305004100037397","volume":"60","author":"P.J. Higgins","year":"1964","unstructured":"P.J. Higgins, Presentations of groupoids, with applications to groups, Proc. Camb. Phil. Soc. 60 (1964) 7\u201320.","journal-title":"Proc. Camb. Phil. Soc."},{"key":"6_CR15","unstructured":"P.J. Higgins, Notes on Categories and Groupoids, London 1971."},{"key":"6_CR16","unstructured":"B. Mitchell, Theory of Categories, New York 1965."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematicians, New York 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"6_CR18","first-page":"1","volume":"2","author":"E.H. Moore","year":"1910","unstructured":"E.H. Moore, Introduction to a form of general analysis, AMS Colloq. Publ. 2 (1910) 1\u2013150.","journal-title":"AMS Colloq. Publ."},{"key":"6_CR19","unstructured":"J.D. Ullman, Principles of Database Systems, Sec.ed., Rockville 1982."}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:33Z","timestamp":1619556873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}