Bice, Tristan; Kubiś, Wiesław Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces. (English) Zbl 07687172 Theor. Comput. Sci. 960, Article ID 113895, 34 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Bice} and \textit{W. Kubiś}, Theor. Comput. Sci. 960, Article ID 113895, 34 p. (2023; Zbl 07687172) Full Text: DOI arXiv
Misselbeck-Wessel, Daniel; Schuster, Peter Radical theory of Scott-open filters. (English) Zbl 07648673 Theor. Comput. Sci. 945, Article ID 113677, 19 p. (2023). MSC: 03-XX 06-XX PDFBibTeX XMLCite \textit{D. Misselbeck-Wessel} and \textit{P. Schuster}, Theor. Comput. Sci. 945, Article ID 113677, 19 p. (2023; Zbl 07648673) Full Text: DOI
Wang, Longchun; Zhou, Xiangnan; Li, Qingguo Information systems for continuous semi-lattices. (English) Zbl 1483.68183 Theor. Comput. Sci. 913, 138-150 (2022). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{L. Wang} et al., Theor. Comput. Sci. 913, 138--150 (2022; Zbl 1483.68183) Full Text: DOI
Poncet, Paul Transporting continuity properties from a poset to its subposets. (English) Zbl 07501978 Theor. Comput. Sci. 912, 109-132 (2022). MSC: 06B35 PDFBibTeX XMLCite \textit{P. Poncet}, Theor. Comput. Sci. 912, 109--132 (2022; Zbl 07501978) Full Text: DOI arXiv
Rosenbaum, David J.; Wagner, Fabian Beating the generator-enumeration bound for \(p\)-group isomorphism. (English) Zbl 1330.68124 Theor. Comput. Sci. 593, 16-25 (2015). MSC: 68Q25 20D99 PDFBibTeX XMLCite \textit{D. J. Rosenbaum} and \textit{F. Wagner}, Theor. Comput. Sci. 593, 16--25 (2015; Zbl 1330.68124) Full Text: DOI arXiv
Gumm, H. Peter Copower functors. (English) Zbl 1173.68042 Theor. Comput. Sci. 410, No. 12-13, 1129-1142 (2009). MSC: 68Q85 18B20 PDFBibTeX XMLCite \textit{H. P. Gumm}, Theor. Comput. Sci. 410, No. 12--13, 1129--1142 (2009; Zbl 1173.68042) Full Text: DOI
Hardie, K. A.; Witbooi, P. J. Finite relational structure models of topological spaces and maps. (English) Zbl 1162.55015 Theor. Comput. Sci. 405, No. 1-2, 24-34 (2008). Reviewer: Elias Gabriel Minian (Buenos Aires) MSC: 55U40 55U05 06A06 PDFBibTeX XMLCite \textit{K. A. Hardie} and \textit{P. J. Witbooi}, Theor. Comput. Sci. 405, No. 1--2, 24--34 (2008; Zbl 1162.55015) Full Text: DOI
Curi, Giovanni Constructive metrisability in point-free topology. (English) Zbl 1045.54002 Theor. Comput. Sci. 305, No. 1-3, 85-109 (2003). Reviewer: Bohumil František Šmarda (Brno) MSC: 54A05 54E35 03F60 PDFBibTeX XMLCite \textit{G. Curi}, Theor. Comput. Sci. 305, No. 1--3, 85--109 (2003; Zbl 1045.54002) Full Text: DOI
Pratt, Vaughan Chu spaces as a semantic bridge between linear logic and mathematics. (English) Zbl 1042.18002 Theor. Comput. Sci. 294, No. 3, 439-471 (2003). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18B15 03F52 03G30 08A02 18D15 PDFBibTeX XMLCite \textit{V. Pratt}, Theor. Comput. Sci. 294, No. 3, 439--471 (2003; Zbl 1042.18002) Full Text: DOI
Nešetřil, Jaroslav; Tardif, Claude Density via duality. (English) Zbl 1058.05062 Theor. Comput. Sci. 287, No. 2, 585-591 (2002). MSC: 05C99 68R10 PDFBibTeX XMLCite \textit{J. Nešetřil} and \textit{C. Tardif}, Theor. Comput. Sci. 287, No. 2, 585--591 (2002; Zbl 1058.05062) Full Text: DOI
Bergman, Clifford; Slutzki, Giora Computational complexity of some problems involving congruences on algebras. (English) Zbl 0988.68082 Theor. Comput. Sci. 270, No. 1-2, 591-608 (2002). MSC: 68Q25 08A30 68Q17 08A35 05C40 PDFBibTeX XMLCite \textit{C. Bergman} and \textit{G. Slutzki}, Theor. Comput. Sci. 270, No. 1--2, 591--608 (2002; Zbl 0988.68082) Full Text: DOI
Fraenkel, A. S.; Simonson, S. Geography. (English) Zbl 0799.90145 Theor. Comput. Sci. 110, No. 1, 197-214 (1993). MSC: 91A43 91A46 91A05 PDFBibTeX XMLCite \textit{A. S. Fraenkel} and \textit{S. Simonson}, Theor. Comput. Sci. 110, No. 1, 197--214 (1993; Zbl 0799.90145) Full Text: DOI
Kucera, Ludek; Nešetřil, Jaroslav; Pultr, Aleš Complexity of dimension three and some related edge-covering characteristics of graphs. (English) Zbl 0442.68031 Theor. Comput. Sci. 11, 93-106 (1980). MSC: 68Q25 68R10 05C99 PDFBibTeX XMLCite \textit{L. Kucera} et al., Theor. Comput. Sci. 11, 93--106 (1980; Zbl 0442.68031) Full Text: DOI