{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:04:23Z","timestamp":1762459463728},"publisher-location":"Cham","reference-count":27,"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_7","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:11:16Z","timestamp":1493017876000},"page":"109-126","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic Investigation of Connected Components"],"prefix":"10.1007","author":[{"given":"Roland","family":"Gl\u00fcck","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"issue":"12","key":"7_CR1","doi-asserted-by":"publisher","first-page":"3089","DOI":"10.1016\/j.disc.2016.06.019","volume":"339","author":"R Berghammer","year":"2016","unstructured":"Berghammer, R., Danilenko, N., H\u00f6fner, P., Stucke, I.: Cardinality of relations with applications. Discret. Math. 339(12), 3089\u20133115 (2016)","journal-title":"Discret. Math."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-24704-5_17","volume-title":"Relational and Algebraic Methods in Computer Science","author":"R Berghammer","year":"2015","unstructured":"Berghammer, R., H\u00f6fner, P., Stucke, I.: Tool-based verification of a relational vertex coloring program. In: Kahl, W., Winter, M., Oliveira, J.N. (eds.) RAMICS 2015. LNCS, vol. 9348, pp. 275\u2013292. Springer, Cham (2015). doi:\n10.1007\/978-3-319-24704-5_17"},{"key":"7_CR3","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society, Providence (1967)","edition":"3"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-319-43144-4_29","volume-title":"Interactive Theorem Proving","author":"P Brunet","year":"2016","unstructured":"Brunet, P., Pous, D., Stucke, I.: Cardinalities of finite relations in Coq. In: Blanchette, J.C., Merz, S. (eds.) ITP 2016. LNCS, vol. 9807, pp. 466\u2013474. Springer, Cham (2016). doi:\n10.1007\/978-3-319-43144-4_29"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-319-24704-5_16","volume-title":"Relational and Algebraic Methods in Computer Science","author":"R Berghammer","year":"2015","unstructured":"Berghammer, R., Stucke, I., Winter, M.: Investigating and computing bipartitions with algebraic means. In: Kahl, W., Winter, M., Oliveira, J.N. (eds.) RAMICS 2015. LNCS, vol. 9348, pp. 257\u2013274. Springer, Cham (2015). doi:\n10.1007\/978-3-319-24704-5_16"},{"unstructured":"The Coq proof assistant. \nhttps:\/\/coq.inria.fr\/","key":"7_CR6"},{"unstructured":"Dang, H.-H., M\u00f6ller, B.: Simplifying pointer Kleene algebra. In: H\u00f6fner, P., McIver, A., Struth, G. (eds.) Proceedings of 1st Workshop on Automated Theory Engineering, CEUR Workshop Proceedings, Wroc\u0142aw, vol. 760, pp. 20\u201329. CEUR-WS.org (2011)","key":"7_CR7"},{"key":"7_CR8","first-page":"93","volume":"1","author":"J Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene algebra and applications - a survey. J. Relat. Methods Comput. Sci. 1, 93\u2013131 (2004)","journal-title":"J. Relat. Methods Comput. Sci."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Log. 7, 798\u2013833 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-33314-9_15","volume-title":"Relational and Algebraic Methods in Computer Science","author":"H Furusawa","year":"2012","unstructured":"Furusawa, H., Kawahara, Y.: Point axioms in dedekind categories. In: Kahl, W., Griffin, T.G. (eds.) RAMICS 2012. LNCS, vol. 7560, pp. 219\u2013234. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-33314-9_15"},{"unstructured":"Gl\u00fcck, R.: Atomic lattices. \nhttp:\/\/www.rolandglueck.de\/Downloads\/Atomiclattices.pdf","key":"7_CR11"},{"unstructured":"Gl\u00fcck, R.: Tarksi rule vs. all-or-nothing property. \nhttp:\/\/www.rolandglueck.de\/Downloads\/Tarski_all_or_nothing.in","key":"7_CR12"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-04639-1_10","volume-title":"Relations and Kleene Algebra in Computer Science","author":"R Gl\u00fcck","year":"2009","unstructured":"Gl\u00fcck, R., M\u00f6ller, B., Sintzoff, M.: A semiring approach to equivalences, bisimulations and control. In: Berghammer, R., Jaoua, A.M., M\u00f6ller, B. (eds.) RelMiCS 2009. LNCS, vol. 5827, pp. 134\u2013149. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-04639-1_10"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-24559-6_41","volume-title":"Formal Methods and Software Engineering","author":"W Guttmann","year":"2011","unstructured":"Guttmann, W., Struth, G., Weber, T.: Automating algebraic methods in isabelle. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 617\u2013632. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-24559-6_41"},{"unstructured":"Isabelle. \nhttps:\/\/isabelle.in.tum.de\/","key":"7_CR15"},{"key":"7_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090224","volume-title":"Varieties of Lattices","author":"P Jipsen","year":"1992","unstructured":"Jipsen, P., Rose, H.: Varieties of Lattices, 1st edn. Springer, Heidelberg (1992)","edition":"1"},{"key":"7_CR17","volume-title":"Graphs, Networks and Algorithms","author":"D Jungnickel","year":"2005","unstructured":"Jungnickel, D.: Graphs, Networks and Algorithms, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"unstructured":"Kahl, W.: Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. ECEASST 71 (2014)","key":"7_CR18"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/11828563_17","volume-title":"Relations and Kleene Algebra in Computer Science","author":"Y Kawahara","year":"2006","unstructured":"Kawahara, Y.: On the cardinality of relations. In: Schmidt, R.A. (ed.) RelMiCS 2006. LNCS, vol. 4136, pp. 251\u2013265. Springer, Heidelberg (2006). doi:\n10.1007\/11828563_17"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0165-0114(97)00061-4","volume":"101","author":"Y Kawahara","year":"1999","unstructured":"Kawahara, Y., Furusawa, H.: An algebraic formalization of fuzzy relations. Fuzzy Sets Syst. 101(1), 125\u2013135 (1999)","journal-title":"Fuzzy Sets Syst."},{"doi-asserted-by":"publisher","unstructured":"King, D.J., Launchbury, J.: Structuring depth-first search algorithms in Haskell. In: Cytron, R.K., Lee, P. (eds.) Conference Record of POPL 1995, pp. 344\u2013354. ACM Press (1995)","key":"7_CR21","DOI":"10.1145\/199448.199530"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"unstructured":"McCune, W.: Prover9 and Mace4. \nhttps:\/\/www.cs.unm.edu\/mccune\/mace4\/","key":"7_CR23"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11784180_21","volume-title":"Algebraic Methodology and Software Technology","author":"B M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., H\u00f6fner, P., Struth, G.: Quantales and temporal logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 263\u2013277. Springer, Heidelberg (2006). doi:\n10.1007\/11784180_21"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0898-1221(81)90008-0","volume":"7","author":"M Sharir","year":"1981","unstructured":"Sharir, M.: A strong-connectivity algorithm and its applications in data flow analysis. Comput. Math. Appl. 7(1), 67\u201372 (1981)","journal-title":"Comput. Math. Appl."},{"key":"7_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs: Discrete Mathematics for Computer Scientists","author":"G Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer, Heidelberg (1993)"},{"issue":"2","key":"7_CR27","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5(2), 285\u2013309 (1955)","journal-title":"Pac. J. Math."}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:13:26Z","timestamp":1493018006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}