Koch, Sebastian Unification of graphs and relations in Mizar. (English) Zbl 07488868 Formaliz. Math. 28, No. 2, 173-186 (2020). MSC: 68V20 05C62 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 28, No. 2, 173--186 (2020; Zbl 07488868) Full Text: DOI
Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter Relational characterisations of paths. (English) Zbl 1462.05198 J. Log. Algebr. Methods Program. 117, Article ID 100590, 19 p. (2020). MSC: 05C38 03B35 03G15 05C85 68V15 PDFBibTeX XMLCite \textit{R. Berghammer} et al., J. Log. Algebr. Methods Program. 117, Article ID 100590, 19 p. (2020; Zbl 1462.05198) Full Text: DOI arXiv
Guttmann, Walter Verifying minimum spanning tree algorithms with Stone relation algebras. (English) Zbl 1401.68247 J. Log. Algebr. Methods Program. 101, 132-150 (2018). MSC: 68R10 03B35 03G15 05C22 68Q60 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 101, 132--150 (2018; Zbl 1401.68247) Full Text: DOI
Guttmann, Walter An algebraic framework for minimum spanning tree problems. (English) Zbl 1401.68246 Theor. Comput. Sci. 744, 37-55 (2018). MSC: 68R10 05C22 05C85 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, Theor. Comput. Sci. 744, 37--55 (2018; Zbl 1401.68246) Full Text: DOI
Stucke, Insa Reasoning about cardinalities of relations with applications supported by proof assistants. (English) Zbl 1486.68105 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 290-306 (2017). MSC: 68Q60 03G15 05C15 68V15 68V20 PDFBibTeX XMLCite \textit{I. Stucke}, Lect. Notes Comput. Sci. 10226, 290--306 (2017; Zbl 1486.68105) Full Text: DOI
Glück, Roland Algebraic investigation of connected components. (English) Zbl 1486.68100 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 109-126 (2017). MSC: 68Q55 05C40 06D30 06E05 PDFBibTeX XMLCite \textit{R. Glück}, Lect. Notes Comput. Sci. 10226, 109--126 (2017; Zbl 1486.68100) Full Text: DOI
Guttmann, Walter Relation-algebraic verification of Prim’s minimum spanning tree algorithm. (English) Zbl 1400.68155 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 51-68 (2016). MSC: 68R10 05C22 05C85 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 9965, 51--68 (2016; Zbl 1400.68155) Full Text: DOI
Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa Cardinality of relations with applications. (English) Zbl 1403.03132 Discrete Math. 339, No. 12, 3089-3115 (2016). MSC: 03G15 03E20 05C70 PDFBibTeX XMLCite \textit{R. Berghammer} et al., Discrete Math. 339, No. 12, 3089--3115 (2016; Zbl 1403.03132) Full Text: DOI
Berghammer, Rudolf; Fischer, Sebastian Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. (English) Zbl 1329.68062 J. Log. Algebr. Methods Program. 84, No. 3, 341-358 (2015). MSC: 68N18 03G20 05C20 05C85 PDFBibTeX XMLCite \textit{R. Berghammer} and \textit{S. Fischer}, J. Log. Algebr. Methods Program. 84, No. 3, 341--358 (2015; Zbl 1329.68062) Full Text: DOI
Došen, Kosta; Petrić, Zoran Shuffles and concatenations in the construction of graphs. (English) Zbl 1266.05103 Math. Struct. Comput. Sci. 22, No. 6, 904-930 (2012). Reviewer: David B. Penman (Colchester) MSC: 05C62 06A07 PDFBibTeX XMLCite \textit{K. Došen} and \textit{Z. Petrić}, Math. Struct. Comput. Sci. 22, No. 6, 904--930 (2012; Zbl 1266.05103) Full Text: DOI arXiv
Glück, Roland Two observations in dioid based model refinement. (English) Zbl 1364.68307 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 235-247 (2012). MSC: 68R10 05C30 06F05 68Q45 PDFBibTeX XMLCite \textit{R. Glück}, Lect. Notes Comput. Sci. 7560, 235--247 (2012; Zbl 1364.68307) Full Text: DOI
Berghammer, Rudolf; Fischer, Sebastian Simple rectangle-based functional programs for computing reflexive-transitive closures. (English) Zbl 1330.68044 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 114-129 (2012). MSC: 68N18 03G15 05C20 05C85 PDFBibTeX XMLCite \textit{R. Berghammer} and \textit{S. Fischer}, Lect. Notes Comput. Sci. 7560, 114--129 (2012; Zbl 1330.68044) Full Text: DOI
Bisdorff, Raymond; Pirlot, Marc; Roubens, Marc Choices and kernels in bipolar valued digraphs. (English) Zbl 1137.91347 Eur. J. Oper. Res. 175, No. 1, 155-170 (2006). MSC: 91B06 90B50 91B14 05C99 03E72 PDFBibTeX XMLCite \textit{R. Bisdorff} et al., Eur. J. Oper. Res. 175, No. 1, 155--170 (2006; Zbl 1137.91347) Full Text: DOI Link
Alaoui, Assia On fuzzification of some concepts of graphs. (English) Zbl 0934.05099 Fuzzy Sets Syst. 101, No. 3, 363-389 (1999). Reviewer: S.Rudeanu (Bucureşti) MSC: 05C69 05C99 PDFBibTeX XMLCite \textit{A. Alaoui}, Fuzzy Sets Syst. 101, No. 3, 363--389 (1999; Zbl 0934.05099) Full Text: DOI
von Karger, Burghard; Berghammer, Rudolf Computing kernels in directed bichromatic graphs. (English) Zbl 1336.68206 Inf. Process. Lett. 62, No. 1, 5-11 (1997). MSC: 68R10 03G15 05C15 05C20 91A43 PDFBibTeX XMLCite \textit{B. von Karger} and \textit{R. Berghammer}, Inf. Process. Lett. 62, No. 1, 5--11 (1997; Zbl 1336.68206) Full Text: DOI
Hedetniemi, S. T.; Laskar, R. C. Bibliography on domination in graphs and some basic definitions of domination parameters. (English) Zbl 0733.05076 Discrete Math. 86, No. 1-3, 257-277 (1990). Reviewer: L.Niepel MSC: 05C99 05-02 00A15 PDFBibTeX XMLCite \textit{S. T. Hedetniemi} and \textit{R. C. Laskar}, Discrete Math. 86, No. 1--3, 257--277 (1990; Zbl 0733.05076) Full Text: DOI
Schmidt, Gunther; Ströhlein, Thomas A Boolean matrix iteration in timetable construction. (English) Zbl 0358.94049 Linear Algebra Appl. 15, 27-51 (1976). MSC: 94C10 90B35 06A15 05A99 03E15 PDFBibTeX XMLCite \textit{G. Schmidt} and \textit{T. Ströhlein}, Linear Algebra Appl. 15, 27--51 (1976; Zbl 0358.94049) Full Text: DOI