{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:04:50Z","timestamp":1762459490959},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_4","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:11:16Z","timestamp":1493017876000},"page":"60-76","source":"Crossref","is-referenced-by-count":3,"title":["Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"4_CR1","first-page":"501","volume":"2","author":"P Alexandroff","year":"1937","unstructured":"Alexandroff, P.: Diskrete R\u00e4ume. Mat. Sb. NS 2, 501\u2013518 (1937)","journal-title":"Mat. Sb. NS"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.4064\/cm-23-2-217-223","volume":"23","author":"J Anusiak","year":"1971","unstructured":"Anusiak, J., Shum, K.P.: Remarks on finite topological spaces. Colloq. Math. 23, 217\u2013223 (1971)","journal-title":"Colloq. Math."},{"key":"4_CR3","first-page":"773","volume":"15","author":"CE Aull","year":"1967","unstructured":"Aull, C.E.: Classification of topological speces. Bull. Acad. Polon. Sci. Ser. Math. Astro. Phys. 15, 773\u2013778 (1967)","journal-title":"Bull. Acad. Polon. Sci. Ser. Math. Astro. Phys."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-36280-0_17","volume-title":"Relational Methods in Computer Science","author":"R Berghammer","year":"2002","unstructured":"Berghammer, R., Leoniuk, B., Milanese, U.: Implementation of relational algebra using binary decision diagrams. In: de Swart, H.C.M. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 241\u2013257. Springer, Heidelberg (2002). doi: 10.1007\/3-540-36280-0_17"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11555964_4","volume-title":"Computer Algebra in Scientific Computing","author":"R Berghammer","year":"2005","unstructured":"Berghammer, R., Neumann, F.: RelView \u2013 an OBDD-based computer algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 40\u201351. Springer, Heidelberg (2005). doi: 10.1007\/11555964_4"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-009-0109-4","volume":"47","author":"R Berghammer","year":"2010","unstructured":"Berghammer, R., Winter, M.: Embedding mappings and splittings with applications. Acta Inform. 47, 77\u2013110 (2010)","journal-title":"Acta Inform."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-319-19797-5_12","volume-title":"Mathematics of Program Construction","author":"R Berghammer","year":"2015","unstructured":"Berghammer, R.: Column-wise extendible vector expressions and the relational computation of sets of sets. In: Hinze, R., Voigtl\u00e4nder, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 238\u2013256. Springer, Cham (2015). doi: 10.1007\/978-3-319-19797-5_12"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2016.12.002","volume":"88","author":"R Berghammer","year":"2017","unstructured":"Berghammer, R., Winter, M.: Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebr. Methods Program. 88, 1\u201325 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"524","DOI":"10.2307\/2311193","volume":"68","author":"TA Chapman","year":"1962","unstructured":"Chapman, T.A.: A further note on closure and interior operations. Am. Math. Mon. 68, 524\u2013529 (1962)","journal-title":"Am. Math. Mon."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00383446","volume":"8","author":"M Ern\u00e9","year":"1991","unstructured":"Ern\u00e9, M., Stege, K.: Counting finite posets and topologies. Order 8, 247\u2013265 (1991)","journal-title":"Order"},{"key":"4_CR11","first-page":"9","volume":"38","author":"BJ Gardner","year":"2008","unstructured":"Gardner, B.J., Jackson, M.: The Kuratowski closure-complement theorem. N. Z. J. Math. 38, 9\u201344 (2008)","journal-title":"N. Z. J. Math."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.4064\/cm-15-2-211-216","volume":"15","author":"HH Herda","year":"1966","unstructured":"Herda, H.H., Metzler, R.C.: Closure and interior in finite topological spaces. Colloq. Math. 15, 211\u2013216 (1966)","journal-title":"Colloq. Math."},{"key":"4_CR13","volume-title":"General Topology","author":"JL Kelley","year":"1975","unstructured":"Kelley, J.L.: General Topology. Springer, New York (1975)"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","volume":"3","author":"C Kuratowski","year":"1922","unstructured":"Kuratowski, C.: Sur l\u2019op\u00e9ration $$\\overline{A}$$ A \u00af de l\u2019analysis situs. Fund. Math. 3, 182\u2013199 (1922)","journal-title":"Fund. Math."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"362","DOI":"10.2307\/2316898","volume":"78","author":"E Langford","year":"1971","unstructured":"Langford, E.: Characterization of Kuratowski 14-sets. Am. Math. Mon. 78, 362\u2013367 (1971)","journal-title":"Am. Math. Mon."},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511778810","volume-title":"Relational Mathematics","author":"G Schmidt","year":"2010","unstructured":"Schmidt, G.: Relational Mathematics. Cambridge University Press, Cambridge (2010)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jlap.2011.04.007","volume":"80","author":"G Schmidt","year":"2011","unstructured":"Schmidt, G., Berghammer, R.: Contact, closure, topology, and the linking of rows and column types. J. Log. Algebr. Program. 80, 339\u2013361 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-319-06251-8_14","volume-title":"Relational and Algebraic Methods in Computer Science","author":"G Schmidt","year":"2014","unstructured":"Schmidt, G.: A point-free relation-algebraic approach to general topology. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMICS 2014. LNCS, vol. 8428, pp. 226\u2013241. Springer, Cham (2014). doi: 10.1007\/978-3-319-06251-8_14"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.4169\/000298910x476031","volume":"117","author":"D Sheman","year":"2010","unstructured":"Sheman, D.: Variations on Kuratowski\u2019s 14-set theorem. Am. Math. Mon. 117, 113\u2013123 (2010)","journal-title":"Am. Math. Mon."},{"key":"4_CR20","unstructured":"RelView-homepage: http:\/\/www.informatik.uni-kiel.de\/~progsys\/relview\/"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T17:56:06Z","timestamp":1569088566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}