{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:43:00Z","timestamp":1725601380795},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540068594"},{"type":"electronic","value":"9783540378198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_139","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T11:52:56Z","timestamp":1313668376000},"page":"266-279","source":"Crossref","is-referenced-by-count":1,"title":["Listing of information structures defined by fixed-point operators"],"prefix":"10.1007","author":[{"given":"C.","family":"B\u00f6hm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ronchi Della Rocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"21_CR1","unstructured":"C. B\u00f6hm \u2014 \"Structure informative e loro trasformazioni\", Atti del III Seminario sul Trattamento Automatico delle Informazioni, Istituto Matematico U. Dini, Firenze (1972), 1\u201337."},{"key":"21_CR2","unstructured":"C. B\u00f6hm and S. Ronchi della Rocca \u2014 \"Numbering methods of finite sets and multisets through trees\", Communication of ACM Symposium, Venice (1972), 516\u2013524."},{"key":"21_CR3","unstructured":"C. B\u00f6hm and M. Dezani-Ciancaglini \u2014 \"Listing the functional digraph structures\", Proc. International Computing Symposium 1973, A. G\u00fcnther ed., Amsterdam (1974), 33\u201339."},{"issue":"2","key":"21_CR4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0019-9958(69)90065-5","volume":"14","author":"W. S. Brainerd","year":"1969","unstructured":"W. S. Brainerd \u2014 \"Three Generating Regular Systems\", Information and Control, vol. 14, n. 2, (1969), 217\u2013231.","journal-title":"Information and Control"},{"key":"21_CR5","first-page":"398","volume-title":"\"The Art of Computer Programming\", Vol. 2, Seminumerical Algorithms","author":"D.E. Knuth","year":"1971","unstructured":"D.E. Knuth \u2014 \"The Art of Computer Programming\", Vol. 2, Seminumerical Algorithms, Addison-Wesley, Menlo Park (1971), 398\u2013422."},{"key":"21_CR6","volume-title":"Th\u00e9orie des questionnaires","author":"C. Picard","year":"1965","unstructured":"C. Picard \u2014 \"Th\u00e9orie des questionnaires\", Gauthier-Villars, Paris (1965), Ch. 5."},{"key":"21_CR7","unstructured":"J.R.Shoenfield \u2014 \"Degrees of Unsolvability\", North-Holland Mathem. Studies 2, Amsterdam (1971), 1\u201311."}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_139.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:43:38Z","timestamp":1619541818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_139","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1974]]}}}