Koch, Sebastian Miscellaneous graph preliminaries. I. (English) Zbl 1473.68208 Formaliz. Math. 29, No. 1, 21-38 (2021). MSC: 68V20 05C99 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 29, No. 1, 21--38 (2021; Zbl 1473.68208) Full Text: DOI
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
Koch, Sebastian Miscellaneous graph preliminaries. (English) Zbl 1466.68079 Formaliz. Math. 28, No. 1, 23-39 (2020). Reviewer: Zhizhang Shen (Plymouth) MSC: 68V20 05Cxx 05C07 68V30 68V35 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 28, No. 1, 23--39 (2020; Zbl 1466.68079) Full Text: DOI
Koch, Sebastian About vertex mappings. (English) Zbl 1433.68582 Formaliz. Math. 27, No. 3, 303-313 (2020). MSC: 68V20 05C60 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 27, No. 3, 303--313 (2020; Zbl 1433.68582) Full Text: DOI
Koch, Sebastian About graph mappings. (English) Zbl 1433.68581 Formaliz. Math. 27, No. 3, 261-301 (2020). MSC: 68V20 05C60 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 27, No. 3, 261--301 (2020; Zbl 1433.68581) Full Text: DOI