{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:37Z","timestamp":1761611137200,"version":"build-2065373602"},"reference-count":15,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)80775-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"207-223","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Fixed Points in Digital Topology (via Helly Posets)"],"prefix":"10.1016","volume":"74","author":[{"given":"Rueiher","family":"Tsaur","sequence":"first","affiliation":[]},{"given":"Michael B.","family":"Smyth","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB1","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2140\/pjm.1956.6.405","article-title":"Extensions of uniformly continuous transformations and hyperconvex metric spaces","volume":"6","author":"Aronszajn","year":"1956","journal-title":"Pacific J. Math"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB2","doi-asserted-by":"crossref","unstructured":"M. Benke. Efficient type reconstruction in the presence of inheritance. In A.M. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of Computer Science, volume 711 of Lecture Notes in Comput. Sci., pages 272\u2013280, 1993.","DOI":"10.1007\/3-540-57182-5_19"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0195-6698(83)80041-9","article-title":"Ensemble convexes dans les graphes I, th\u00e9or\u00e8mes de Helly et de Radon pour graphes et surfaces","volume":"4","author":"Duchet","year":"1983","journal-title":"European J. Combin"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0166-8641(97)00225-3","article-title":"Properly injective spaces and function spaces","volume":"89","author":"Escard\u00f3","year":"1998","journal-title":"Topology Appl"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB5","unstructured":"E. Khalimsky. Pattern analysis of N-dimensional digital images. In The 1986 IEEE International Conference on Systems, Man, and Cybernetics, volume CH2364-8\/86, pages 1559\u20131562, 1986."},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB6","unstructured":"E. Khalimsky. Motion, deformation and homotopy in finite spaces. In The 1987 IEEE International Conference on Systems, Man, and Cybernetics, volume 87CH2503-1, pages 227\u2013234, 1987."},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB7","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1147\/rd.202.0138","article-title":"Bases for chain-complete posets","volume":"20","author":"Markowsky","year":"1976","journal-title":"IBM Journal of Research and Development"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB8","unstructured":"G. Plotkin. II\u03c9 as a universal domain. D.A.I. research report no. 28, Department of Artificial Intelligence, University of Edinburgh, 1977."},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0097-3165(83)90006-7","article-title":"An application of the Helly property to the partially ordered sets","volume":"35","author":"Quilliot","year":"1983","journal-title":"J. Combin. Theory Ser. A"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1080\/00029890.1979.11994873","article-title":"Digital topology","volume":"86","author":"Rosenfeld","year":"1979","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB11","unstructured":"D. Sequeira. Type inference with bounded quantification. Ph.D. thesis, University of Edinburgh, 1998."},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB12","doi-asserted-by":"crossref","unstructured":"M.B. Smyth and R. Tsaur. A digital version of the Kakutani fixed point theorem for convex-valued multifunctions. In T. Hurley, M. Mac an Airchinnigh, M. Schellekens, and A. Seda, editors, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2000), volume 40 of Electron. Notes Theor. Comput. Sci., 15 pages, 2001. URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume47.html.","DOI":"10.1016\/S1571-0661(05)80066-0"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1023\/A:1023017025800","article-title":"AFPP vs FPP: the link between almost fixed point properties of discrete structures and fixed point properties of spaces","volume":"11","author":"Smyth","year":"2003","journal-title":"Appl. Categ. Structures"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB14","first-page":"791","article-title":"Hyperconvex semi-metric spaces","volume":"26","author":"Smyth","year":"2001","journal-title":"Topology Proc"},{"key":"10.1016\/S1571-0661(04)80775-8_NEWBIB15","unstructured":"R. Tsaur and M.B. Smyth. Convexity and almost fixed point properties in graphs: a study of many-valued functions in helly and dismantalable graphs. Submitted for publication."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807758?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807758?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:29:33Z","timestamp":1761607773000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":15,"alternative-id":["S1571066104807758"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80775-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Fixed Points in Digital Topology (via Helly Posets)","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80775-8","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2004 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}