Grabowski, Adam On fuzzy negations generated by fuzzy implications. (English) Zbl 1462.68227 Formaliz. Math. 28, No. 1, 121-128 (2020). MSC: 68V20 03B52 PDFBibTeX XMLCite \textit{A. Grabowski}, Formaliz. Math. 28, No. 1, 121--128 (2020; Zbl 1462.68227) Full Text: DOI
Naumowicz, Adam Elementary number theory problems. I. (English) Zbl 1462.68229 Formaliz. Math. 28, No. 1, 115-120 (2020). MSC: 68V20 00A08 11A05 PDFBibTeX XMLCite \textit{A. Naumowicz}, Formaliz. Math. 28, No. 1, 115--120 (2020; Zbl 1462.68229) Full Text: DOI
Grabowski, Adam Developing complementary rough inclusion functions. (English) Zbl 1462.68226 Formaliz. Math. 28, No. 1, 105-113 (2020). MSC: 68V20 03E72 68T37 PDFBibTeX XMLCite \textit{A. Grabowski}, Formaliz. Math. 28, No. 1, 105--113 (2020; Zbl 1462.68226) Full Text: DOI
Endou, Noboru Reconstruction of the one-dimensional Lebesgue measure. (English) Zbl 1462.68224 Formaliz. Math. 28, No. 1, 93-104 (2020). MSC: 68V20 28A12 PDFBibTeX XMLCite \textit{N. Endou}, Formaliz. Math. 28, No. 1, 93--104 (2020; Zbl 1462.68224) Full Text: DOI
Fujiwara, Hiroshi; Watari, Hokuto; Yamamoto, Hiroaki Dynamic programming for the subset sum problem. (English) Zbl 1462.68225 Formaliz. Math. 28, No. 1, 89-92 (2020). MSC: 68V20 68Q25 90C27 90C39 PDFBibTeX XMLCite \textit{H. Fujiwara} et al., Formaliz. Math. 28, No. 1, 89--92 (2020; Zbl 1462.68225) Full Text: DOI
Watase, Yasushige Rings of fractions and localization. (English) Zbl 1462.68231 Formaliz. Math. 28, No. 1, 79-87 (2020). MSC: 68V20 13B30 68V15 PDFBibTeX XMLCite \textit{Y. Watase}, Formaliz. Math. 28, No. 1, 79--87 (2020; Zbl 1462.68231) Full Text: DOI
Wasaki, Katsumi Stability of the 7-3 compressor circuit for Wallace tree. I. (English) Zbl 1462.68230 Formaliz. Math. 28, No. 1, 65-77 (2020). MSC: 68V20 68M07 68W35 PDFBibTeX XMLCite \textit{K. Wasaki}, Formaliz. Math. 28, No. 1, 65--77 (2020; Zbl 1462.68230) Full Text: DOI
Koch, Sebastian About graph complements. (English) Zbl 1462.68228 Formaliz. Math. 28, No. 1, 41-63 (2020). MSC: 68V20 05C76 PDFBibTeX XMLCite \textit{S. Koch}, Formaliz. Math. 28, No. 1, 41--63 (2020; Zbl 1462.68228) 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
Coghetto, Roland Klein-Beltrami model. IV. (English) Zbl 1462.68223 Formaliz. Math. 28, No. 1, 9-21 (2020). MSC: 68V20 51A05 51M10 68V15 PDFBibTeX XMLCite \textit{R. Coghetto}, Formaliz. Math. 28, No. 1, 9--21 (2020; Zbl 1462.68223) Full Text: DOI
Coghetto, Roland Klein-Beltrami model. III. (English) Zbl 1462.68222 Formaliz. Math. 28, No. 1, 1-7 (2020). MSC: 68V20 51A05 51M10 68V15 PDFBibTeX XMLCite \textit{R. Coghetto}, Formaliz. Math. 28, No. 1, 1--7 (2020; Zbl 1462.68222) Full Text: DOI