Zhang, Yijin; Li, Honggang; Jin, Maoming; Lin, Zongbing Study of properties of fuzzy rate and their applications. (Chinese. English summary) Zbl 07801750 Acta Math. Appl. Sin. 46, No. 4, 522-531 (2023). MSC: 46S40 03E99 26E50 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Acta Math. Appl. Sin. 46, No. 4, 522--531 (2023; Zbl 07801750) Full Text: Link
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David BDD-based algorithm for SCC decomposition of edge-coloured graphs. (English) Zbl 07566051 Log. Methods Comput. Sci. 18, No. 1, Paper No. 38, 27 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Beneš} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 38, 27 p. (2022; Zbl 07566051) Full Text: arXiv Link
Makowsky, J. A.; Ravve, E. V.; Kotek, T. A logician’s view of graph polynomials. (English) Zbl 1477.03122 Ann. Pure Appl. Logic 170, No. 9, 1030-1069 (2019). MSC: 03C13 05C31 PDFBibTeX XMLCite \textit{J. A. Makowsky} et al., Ann. Pure Appl. Logic 170, No. 9, 1030--1069 (2019; Zbl 1477.03122) Full Text: DOI arXiv
Makowsky, Johann A.; Ravve, Elena V. Semantic equivalence of graph polynomials definable in second order logic. (English) Zbl 1478.05078 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 279-296 (2016). MSC: 05C31 03B16 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{E. V. Ravve}, Lect. Notes Comput. Sci. 9803, 279--296 (2016; Zbl 1478.05078) Full Text: DOI
Lai, Hongliang; Zhang, Dexue Good fuzzy preorders on fuzzy power structures. (English) Zbl 1210.08004 Arch. Math. Logic 49, No. 4, 469-489 (2010). Reviewer: Fu-Gui Shi (Beijing) MSC: 08A72 03E72 06A75 PDFBibTeX XMLCite \textit{H. Lai} and \textit{D. Zhang}, Arch. Math. Logic 49, No. 4, 469--489 (2010; Zbl 1210.08004) Full Text: DOI
Makowsky, J. A. Algorithmic uses of the Feferman-Vaught theorem. (English) Zbl 1099.03009 Ann. Pure Appl. Logic 126, No. 1-3, 159-213 (2004). Reviewer: S. R. Kogalovskij (Ivanovo) MSC: 03B25 03C40 03B15 68Q25 05C85 05C69 PDFBibTeX XMLCite \textit{J. A. Makowsky}, Ann. Pure Appl. Logic 126, No. 1--3, 159--213 (2004; Zbl 1099.03009) Full Text: DOI