Smerchinskaya, S. O.; Yashina, N. P. Aggregation of fuzzy relations of strict order. (English. Russian original) Zbl 07659021 Russ. Math. 66, No. 7, 25-37 (2022); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2022, No. 7, 30-43 (2022). MSC: 03Exx 05-XX 62Hxx PDFBibTeX XMLCite \textit{S. O. Smerchinskaya} and \textit{N. P. Yashina}, Russ. Math. 66, No. 7, 25--37 (2022; Zbl 07659021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2022, No. 7, 30--43 (2022) Full Text: DOI
Kazda, Alexandr; Mayr, Peter; Zhuk, Dmitriy Small promise CSPs that reduce to large CSPs. (English) Zbl 07596573 Log. Methods Comput. Sci. 18, No. 3, Paper No. 25, 14 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Kazda} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 25, 14 p. (2022; Zbl 07596573) Full Text: DOI arXiv
Walicki, Michał Extensions in graph normal form. (English) Zbl 1494.03026 Log. J. IGPL 30, No. 1, 101-123 (2022). MSC: 03B10 PDFBibTeX XMLCite \textit{M. Walicki}, Log. J. IGPL 30, No. 1, 101--123 (2022; Zbl 1494.03026) Full Text: DOI
Hsiung, Ming Unwinding modal paradoxes on digraphs. (English) Zbl 07345739 J. Philos. Log. 50, No. 2, 319-362 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Hsiung}, J. Philos. Log. 50, No. 2, 319--362 (2021; Zbl 07345739) Full Text: DOI
Hsiung, Ming Boolean paradoxes and revision periods. (English) Zbl 1417.03068 Stud. Log. 105, No. 5, 881-914 (2017). MSC: 03A05 PDFBibTeX XMLCite \textit{M. Hsiung}, Stud. Log. 105, No. 5, 881--914 (2017; Zbl 1417.03068) Full Text: DOI
Lai, Tri; Endrullis, Jörg; Moss, Lawrence S. Majority digraphs. (English) Zbl 1338.05102 Proc. Am. Math. Soc. 144, No. 9, 3701-3715 (2016). MSC: 05C20 05C62 03B65 PDFBibTeX XMLCite \textit{T. Lai} et al., Proc. Am. Math. Soc. 144, No. 9, 3701--3715 (2016; Zbl 1338.05102) Full Text: DOI arXiv
Agarwal, Lovkush Reducts of the generic digraph. (English) Zbl 1329.05305 Ann. Pure Appl. Logic 167, No. 3, 370-391 (2016). MSC: 05E18 05C20 03C40 20B27 20E28 PDFBibTeX XMLCite \textit{L. Agarwal}, Ann. Pure Appl. Logic 167, No. 3, 370--391 (2016; Zbl 1329.05305) Full Text: DOI arXiv
Hamkins, Joel David Every countable model of set theory embeds into its own constructible universe. (English) Zbl 1326.03046 J. Math. Log. 13, No. 2, Article ID 1350006, 27 p. (2013). MSC: 03C62 03E45 PDFBibTeX XMLCite \textit{J. D. Hamkins}, J. Math. Log. 13, No. 2, Article ID 1350006, 27 p. (2013; Zbl 1326.03046) Full Text: DOI arXiv Backlinks: MO MO
de Oliveira Oliveira, Mateus Subgraphs satisfying MSO properties on \(z\)-topologically orderable digraphs. (English) Zbl 1406.68048 Gutin, Gregory (ed.) et al., Parameterized and exact computation. 8th international symposium, IPEC 2013, Sophia Antipolis, France, September 4–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-03897-1/pbk). Lecture Notes in Computer Science 8246, 123-136 (2013). MSC: 68Q25 03B70 05C20 05C30 05C75 68R10 68W01 PDFBibTeX XMLCite \textit{M. de Oliveira Oliveira}, Lect. Notes Comput. Sci. 8246, 123--136 (2013; Zbl 1406.68048) Full Text: DOI arXiv
Igarashi, Ayumi; Yamamoto, Yoshitsugu Computational complexity of a solution for directed graph cooperative games. (English) Zbl 1276.05075 J. Oper. Res. Soc. China 1, No. 3, 405-413 (2013). MSC: 05C57 05C20 91A43 03D15 68Q17 PDFBibTeX XMLCite \textit{A. Igarashi} and \textit{Y. Yamamoto}, J. Oper. Res. Soc. China 1, No. 3, 405--413 (2013; Zbl 1276.05075) Full Text: DOI
Policriti, Alberto; Tomescu, Alexandru I. Well-quasi-ordering hereditarily finite sets. (English) Zbl 1273.05091 Int. J. Comput. Math. 90, No. 6, 1278-1291 (2013). MSC: 05C20 97E60 05C83 03E05 PDFBibTeX XMLCite \textit{A. Policriti} and \textit{A. I. Tomescu}, Int. J. Comput. Math. 90, No. 6, 1278--1291 (2013; Zbl 1273.05091) Full Text: DOI
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał Expressive power of digraph solvability. (English) Zbl 1241.03007 Ann. Pure Appl. Logic 163, No. 3, 200-213 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03B05 03E25 03F35 03D30 05C63 PDFBibTeX XMLCite \textit{M. Bezem} et al., Ann. Pure Appl. Logic 163, No. 3, 200--213 (2012; Zbl 1241.03007) Full Text: DOI
Policriti, Alberto; Tomescu, Alexandru I. Well-quasi-ordering hereditarily finite sets. (English) Zbl 1333.03111 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 440-451 (2011). MSC: 03E05 05C20 PDFBibTeX XMLCite \textit{A. Policriti} and \textit{A. I. Tomescu}, Lect. Notes Comput. Sci. 6638, 440--451 (2011; Zbl 1333.03111) Full Text: DOI
Sudoplatov, S. V. On expansions and extensions of powerful digraphs. (Russian, English) Zbl 1224.03012 Sib. Mat. Zh. 50, No. 3, 625-630 (2009); translation in Sib. Math. J. 50, No. 3, 498-502 (2009). MSC: 03C45 03C15 05C20 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, Sib. Mat. Zh. 50, No. 3, 625--630 (2009; Zbl 1224.03012); translation in Sib. Math. J. 50, No. 3, 498--502 (2009) Full Text: EuDML EMIS
Sudoplatov, S. V. Small stable generic graphs with infinite weight. Digraphs without furcations. (Russian, English) Zbl 1249.03048 Mat. Tr. 10, No. 1, 191-207 (2007); translation in Sib. Adv. Math. 18, No. 2, 142-151 (2008). MSC: 03C45 05C20 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, Mat. Tr. 10, No. 1, 191--207 (2007; Zbl 1249.03048); translation in Sib. Adv. Math. 18, No. 2, 142--151 (2008) Full Text: DOI
Sudoplatov, S. V. Powerful digraphs. (Russian, English) Zbl 1164.03316 Sib. Mat. Zh. 48, No. 1, 205-213 (2007); translation in Sib. Math. J. 48, No. 1, 165-171 (2007). MSC: 03C15 03C45 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, Sib. Mat. Zh. 48, No. 1, 205--213 (2007; Zbl 1164.03316); translation in Sib. Math. J. 48, No. 1, 165--171 (2007) Full Text: EuDML EMIS
Sudoplatov, S. V. Small stable generic graphs with infinite weight. Bipartite digraphs. (Russian, English) Zbl 1249.03047 Mat. Tr. 9, No. 2, 154-171 (2006); translation in Sib. Adv. Math. 17, No. 1, 37-48 (2007). MSC: 03C45 05C20 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, Mat. Tr. 9, No. 2, 154--171 (2006; Zbl 1249.03047); translation in Sib. Adv. Math. 17, No. 1, 37--48 (2007) Full Text: DOI
Bodirsky, Manuel; Nešetřil, Jaroslav Constraint satisfaction with countable homogeneous templates. (English) Zbl 1113.03026 J. Log. Comput. 16, No. 3, 359-373 (2006). MSC: 03C05 68T20 68Q25 03C35 03C52 03D15 05C20 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{J. Nešetřil}, J. Log. Comput. 16, No. 3, 359--373 (2006; Zbl 1113.03026) Full Text: DOI
Evans, David M. Trivial stable structures with non-trivial reducts. (English) Zbl 1079.03021 J. Lond. Math. Soc., II. Ser. 72, No. 2, 351-363 (2005). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C45 03C60 PDFBibTeX XMLCite \textit{D. M. Evans}, J. Lond. Math. Soc., II. Ser. 72, No. 2, 351--363 (2005; Zbl 1079.03021) Full Text: DOI
Nebeský, Ladislav The directed geodetic structure of a strong digraph. (English) Zbl 1045.05039 Czech. Math. J. 54, No. 1, 1-8 (2004). MSC: 05C12 05C20 03C13 PDFBibTeX XMLCite \textit{L. Nebeský}, Czech. Math. J. 54, No. 1, 1--8 (2004; Zbl 1045.05039) Full Text: DOI EuDML
Ramsamujh, T. I. The levels and complexity of hypersets. (English) Zbl 1043.03039 Far East J. Math. Sci. (FJMS) 9, No. 3, 327-341 (2003). MSC: 03E70 PDFBibTeX XMLCite \textit{T. I. Ramsamujh}, Far East J. Math. Sci. (FJMS) 9, No. 3, 327--341 (2003; Zbl 1043.03039)
Gavalec, Martin Linear matrix period in max-plus algebra. (English) Zbl 0998.15020 Linear Algebra Appl. 307, No. 1-3, 167-182 (2000). Reviewer: M.E.Keating (London) MSC: 15B33 03D15 05C20 PDFBibTeX XMLCite \textit{M. Gavalec}, Linear Algebra Appl. 307, No. 1--3, 167--182 (2000; Zbl 0998.15020) Full Text: DOI
Herwig, Bernhard Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures. (English) Zbl 0922.03044 Isr. J. Math. 107, 93-123 (1998). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C13 03C35 05C25 05C80 03C30 05C10 05C20 PDFBibTeX XMLCite \textit{B. Herwig}, Isr. J. Math. 107, 93--123 (1998; Zbl 0922.03044) Full Text: DOI
Łuczak, Tomasz; Thoma, Luboš Convergence of probabilities for the second order monadic properties of a random mapping. (English) Zbl 0883.03016 Random Struct. Algorithms 11, No. 3, 277-295 (1997). MSC: 03C13 05C80 03B15 PDFBibTeX XMLCite \textit{T. Łuczak} and \textit{L. Thoma}, Random Struct. Algorithms 11, No. 3, 277--295 (1997; Zbl 0883.03016) Full Text: DOI
Bauslaugh, Bruce L. Compactness and finite equivalence of infinite digraphs. (English) Zbl 0878.05038 Discrete Math. 167-168, 115-126 (1997). Reviewer: M.Demlová (Praha) MSC: 05C20 03C50 PDFBibTeX XMLCite \textit{B. L. Bauslaugh}, Discrete Math. 167--168, 115--126 (1997; Zbl 0878.05038) Full Text: DOI
Jacobs, D. P. Undecidability of Winkler’s \(r\)-neighborhood problem for covering digraphs. (English) Zbl 0790.03045 J. Comb. Theory, Ser. B 60, No. 2, 254-267 (1994). Reviewer: D.P.Jacobs (Clemson, SC) MSC: 03D35 05C20 03D05 06A07 68Q42 PDFBibTeX XMLCite \textit{D. P. Jacobs}, J. Comb. Theory, Ser. B 60, No. 2, 254--267 (1994; Zbl 0790.03045) Full Text: DOI
Bugata, Peter Note on algorithmic solvability of Trahtenbrot-Zykov problem. (English) Zbl 0776.68092 Combinatorics, graphs and complexity, Proc. 4th Czech. Symp., Prachatice/ Czech. 1990, Ann. Discrete Math. 51, 45-49 (1992). Reviewer: J.Bang-Jensen (Odense) MSC: 68R10 05C85 03D35 05C20 PDFBibTeX XMLCite \textit{P. Bugata}, Ann. Discrete Math. 51, 45--49 (1992; Zbl 0776.68092)
Stewart, Iain A. Using the Hamiltonian path operator to capture NP. (English) Zbl 0768.68019 Advances in computing and information, ICCI ’90, Proc. Int. Conf., Niagara Falls/Canada 1990, Lect. Notes Comput. Sci. 468, 134-143 (1991). MSC: 68Q15 03C68 05C38 05C20 68R10 05C45 PDFBibTeX XMLCite \textit{I. A. Stewart}, Lect. Notes Comput. Sci. 468, 134--143 (1991; Zbl 0768.68019)
Krishnamurthy, Balakrishnan Short proofs for tricky formulas. (English) Zbl 0552.03009 Acta Inf. 22, 253-275 (1985). MSC: 03B35 PDFBibTeX XMLCite \textit{B. Krishnamurthy}, Acta Inf. 22, 253--275 (1985; Zbl 0552.03009) Full Text: DOI
Qin, Yuyuan Jar-metric principle. III. (Chinese. English summary) Zbl 0621.90093 Sci. Explor. 4, No. 1, 41-54 (1984). MSC: 90C48 90C35 03E72 PDFBibTeX XMLCite \textit{Y. Qin}, Sci. Explor. 4, No. 1, 41--54 (1984; Zbl 0621.90093)
Garoche, Françoise; Leonard, Michel On a class of Boolean functions with matroid property. (English) Zbl 0539.05022 Discrete Math. 49, 323-325 (1984). Reviewer: V.V.Gorlov MSC: 05B35 05C20 03G05 PDFBibTeX XMLCite \textit{F. Garoche} and \textit{M. Leonard}, Discrete Math. 49, 323--325 (1984; Zbl 0539.05022) Full Text: DOI