Chebotarev, A. N. Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression. (English. Ukrainian original) Zbl 07806783 Cybern. Syst. Anal. 59, No. 6, 880-889 (2023); translation from Kibern. Sist. Anal. 59, No. 6, 19-29 (2023). MSC: 68Qxx 03Dxx 03Bxx PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 59, No. 6, 880--889 (2023; Zbl 07806783); translation from Kibern. Sist. Anal. 59, No. 6, 19--29 (2023) Full Text: DOI
Kanesh, Lawqueen; Madathil, Jayakrishnan; Roy, Sanjukta; Sahu, Abhishek; Saurabh, Saket Further exploiting \(c\)-closure for FPT algorithms and kernels for domination problems. (English) Zbl 1527.05135 SIAM J. Discrete Math. 37, No. 4, 2626-2669 (2023). MSC: 05C69 05C40 05C85 68W01 68Q25 PDFBibTeX XMLCite \textit{L. Kanesh} et al., SIAM J. Discrete Math. 37, No. 4, 2626--2669 (2023; Zbl 1527.05135) Full Text: DOI
Dehimi, Souheyb; Mortad, Mohammed Hichem Unbounded operators having self-adjoint, subnormal, or hyponormal powers. (English) Zbl 07750696 Math. Nachr. 296, No. 9, 3915-3928 (2023). MSC: 47-XX 68-XX PDFBibTeX XMLCite \textit{S. Dehimi} and \textit{M. H. Mortad}, Math. Nachr. 296, No. 9, 3915--3928 (2023; Zbl 07750696) Full Text: DOI
Chebotarev, A. N. Constructing a \(-\omega\)-regular expression specified by a graph of elementary extensions. (English. Ukrainian original) Zbl 07630497 Cybern. Syst. Anal. 58, No. 2, 165-170 (2022); translation from Kibern. Sist. Anal. 58, No. 2, 3-9 (2022). MSC: 68Qxx 03Dxx PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 58, No. 2, 165--170 (2022; Zbl 07630497); translation from Kibern. Sist. Anal. 58, No. 2, 3--9 (2022) Full Text: DOI
Lokshtanov, Daniel; Surianarayanan, Vaishali Dominating set in weakly closed graphs is fixed parameter tractable. (English) Zbl 07799607 Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 29, 17 p. (2021). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{D. Lokshtanov} and \textit{V. Surianarayanan}, LIPIcs -- Leibniz Int. Proc. Inform. 213, Article 29, 17 p. (2021; Zbl 07799607) Full Text: DOI
Harutyunyan, Hovhannes A.; Pankratov, Denis; Racicot, Jesse Online domination: the value of getting to know all your neighbors. (English) Zbl 07724230 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 57, 21 p. (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. A. Harutyunyan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 202, Article 57, 21 p. (2021; Zbl 07724230) Full Text: DOI arXiv
Zeng, Zhenbing; Wang, Jianlin; Yang, Zhengfeng; Kobayashi, Hidetsune A mechanical proof of the C. T. Yang’s Theorem related to a property of derived sets in general topology. (Chinese. English summary) Zbl 1499.54026 Sci. Sin., Math. 51, No. 1, 257-288 (2021). MSC: 54A05 54C10 68V15 PDFBibTeX XMLCite \textit{Z. Zeng} et al., Sci. Sin., Math. 51, No. 1, 257--288 (2021; Zbl 1499.54026) Full Text: DOI
Lai, Hongliang; Shen, Lili Multi-adjoint concept lattices via quantaloid-enriched categories. (English) Zbl 1464.06003 Fuzzy Sets Syst. 405, 74-87 (2021). MSC: 06B23 18B35 18D20 18F75 68T30 PDFBibTeX XMLCite \textit{H. Lai} and \textit{L. Shen}, Fuzzy Sets Syst. 405, 74--87 (2021; Zbl 1464.06003) Full Text: DOI arXiv
Chebotarev, A. N. From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions. (English. Russian original) Zbl 1477.68149 Cybern. Syst. Anal. 56, No. 5, 689-700 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 3-17 (2020). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 56, No. 5, 689--700 (2020; Zbl 1477.68149); translation from Kibern. Sist. Anal. 2020, No. 5, 3--17 (2020) Full Text: DOI
Goubault, Éric; Mimram, Samuel Directed homotopy in non-positively curved spaces. (English) Zbl 1496.68225 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 18D15 54E35 55U35 68Q42 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 1496.68225) Full Text: arXiv Link
Dia, Diyé; Kahn, Giacomo; Labernia, Fabien; Loiseau, Yannick; Raynaud, Olivier A closed sets based learning classifier for implicit authentication in web browsing. (English) Zbl 1430.68263 Discrete Appl. Math. 273, 65-80 (2020). MSC: 68T05 68T20 94A62 PDFBibTeX XMLCite \textit{D. Dia} et al., Discrete Appl. Math. 273, 65--80 (2020; Zbl 1430.68263) Full Text: DOI Link
Ronse, Christian; Mazo, Loic; Tajine, Mohamed Correspondence between topological and discrete connectivities in Hausdorff discretization. (English) Zbl 1469.68148 Math. Morphol., Theory Appl. 3, 1-28 (2019). MSC: 68U05 05C40 54E35 68U03 PDFBibTeX XMLCite \textit{C. Ronse} et al., Math. Morphol., Theory Appl. 3, 1--28 (2019; Zbl 1469.68148) Full Text: DOI
Nguyen, Son Hoang; Vu, Thi Duc Some combinatorial characteristics of closure operations. (English) Zbl 1445.68080 Algebra Discrete Math. 28, No. 1, 144-156 (2019). MSC: 68P15 06A15 68R05 PDFBibTeX XMLCite \textit{S. H. Nguyen} and \textit{T. D. Vu}, Algebra Discrete Math. 28, No. 1, 144--156 (2019; Zbl 1445.68080) Full Text: Link
García-García, J. I.; Marín-Aragón, D.; Moreno-Frías, M. A. On divisor-closed submonoids and minimal distances in finitely generated monoids. (English) Zbl 1451.13005 J. Symb. Comput. 93, 230-245 (2019). Reviewer: Władysław Narkiewicz (Wrocław) MSC: 13A05 20M13 11R27 20M32 68W30 20M14 52B11 PDFBibTeX XMLCite \textit{J. I. García-García} et al., J. Symb. Comput. 93, 230--245 (2019; Zbl 1451.13005) Full Text: DOI arXiv
Forbes, Michael A.; Ghosh, Sumanta; Saxena, Nitin Towards blackbox identity testing of log-variate circuits. (English) Zbl 1499.68390 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 54, 16 p. (2018). MSC: 68W20 68Q06 PDFBibTeX XMLCite \textit{M. A. Forbes} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 54, 16 p. (2018; Zbl 1499.68390) Full Text: DOI
Bazin, Alexandre A depth-first search algorithm for computing pseudo-closed sets. (English) Zbl 1397.05013 Discrete Appl. Math. 249, 28-35 (2018). MSC: 05A15 06A15 68T20 68T30 PDFBibTeX XMLCite \textit{A. Bazin}, Discrete Appl. Math. 249, 28--35 (2018; Zbl 1397.05013) Full Text: DOI HAL
Bertet, Karell; Demko, Christophe; Viaud, Jean-François; Guérin, Clément Lattices, closures systems and implication bases: a survey of structural aspects and algorithms. (English) Zbl 1398.68510 Theor. Comput. Sci. 743, 93-109 (2018). MSC: 68T30 06A15 06B05 06B15 06B23 PDFBibTeX XMLCite \textit{K. Bertet} et al., Theor. Comput. Sci. 743, 93--109 (2018; Zbl 1398.68510) Full Text: DOI
Dutta, Soma; Jankowski, Andrzej; Skowron, Andrzej Interactive logical structures. (English) Zbl 1378.68137 Fundam. Inform. 154, No. 1-4, 95-108 (2017). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{S. Dutta} et al., Fundam. Inform. 154, No. 1--4, 95--108 (2017; Zbl 1378.68137) Full Text: DOI
Lai, Hongliang; Shen, Lili Fixed points of adjoint functors enriched in a quantaloid. (English) Zbl 1390.18006 Fuzzy Sets Syst. 321, 1-28 (2017). MSC: 18A40 18D20 06F07 68T30 PDFBibTeX XMLCite \textit{H. Lai} and \textit{L. Shen}, Fuzzy Sets Syst. 321, 1--28 (2017; Zbl 1390.18006) Full Text: DOI arXiv
Skobelev, Volodymyr G.; Ivanov, Ievgen; Nikitchenko, Mykola Set-theoretic analysis of nominative data. (English) Zbl 1390.68196 Comput. Sci. J. Mold. 23, No. 3(69), 270-288 (2015). MSC: 68P01 03E20 06A06 06A12 68N30 PDFBibTeX XMLCite \textit{V. G. Skobelev} et al., Comput. Sci. J. Mold. 23, No. 3(69), 270--288 (2015; Zbl 1390.68196) Full Text: Link
Wu, Hengyang; Sun, Liping Comparisons between two kinds of fuzzy bisimulations. (Chinese. English summary) Zbl 1349.68129 Fuzzy Syst. Math. 29, No. 6, 138-144 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Wu} and \textit{L. Sun}, Fuzzy Syst. Math. 29, No. 6, 138--144 (2015; Zbl 1349.68129)
Maki, H.; Takigawa, S.; Fujimoto, M.; Sundaram, P.; John, M. Sheik Remarks on \(\omega\)-closed sets in Sundaram-Sheik John’s sense of digital \(n\)-spaces. (English) Zbl 1356.54029 Sci. Math. Jpn. 77(2014), No. 3, 317-337 (2015). Reviewer: Maximilian Ganster (Graz) MSC: 54D05 54D10 68U05 PDFBibTeX XMLCite \textit{H. Maki} et al., Sci. Math. Jpn. 77, No. 3, 317--337 (2015; Zbl 1356.54029) Full Text: Link
Shi, Yuying; Gu, Ying; Wang, Li-Lian; Tai, Xue-Cheng A fast edge detection algorithm using binary labels. (English) Zbl 1332.65027 Inverse Probl. Imaging 9, No. 2, 551-578 (2015). MSC: 65D15 68W40 90C90 65M32 PDFBibTeX XMLCite \textit{Y. Shi} et al., Inverse Probl. Imaging 9, No. 2, 551--578 (2015; Zbl 1332.65027) Full Text: DOI
Bodirsky, Manuel; Chen, Hubie; Wrona, Michał Tractability of quantified temporal constraints to the max. (English) Zbl 1320.68097 Int. J. Algebra Comput. 24, No. 8, 1141-1156 (2014). MSC: 68Q25 68W40 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Int. J. Algebra Comput. 24, No. 8, 1141--1156 (2014; Zbl 1320.68097) Full Text: DOI arXiv
Link, Sebastian Characterisations of multivalued dependency implication over undetermined universes. (English) Zbl 1246.68111 J. Comput. Syst. Sci. 78, No. 4, 1026-1044 (2012). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Link}, J. Comput. Syst. Sci. 78, No. 4, 1026--1044 (2012; Zbl 1246.68111) Full Text: DOI
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno Closed choice and a uniform low basis theorem. (English) Zbl 1251.03082 Ann. Pure Appl. Logic 163, No. 8, 986-1008 (2012). MSC: 03F60 03D30 03E15 03E25 68Q05 PDFBibTeX XMLCite \textit{V. Brattka} et al., Ann. Pure Appl. Logic 163, No. 8, 986--1008 (2012; Zbl 1251.03082) Full Text: DOI arXiv
Devi, R.; Kokilavani, V.; Maki, H. More on G\(^{\#}\alpha\)-open sets in digital planes. (English) Zbl 1179.54003 Sci. Math. Jpn. 70, No. 1, 53-62 (2009). Reviewer: Sang-Eon Han (Jeonju-City Jeonbuk) MSC: 54A05 54D10 54F65 68U05 PDFBibTeX XMLCite \textit{R. Devi} et al., Sci. Math. Jpn. 70, No. 1, 53--62 (2009; Zbl 1179.54003) Full Text: Link
Yen, Hsu-Chun; Chen, Chien-Liang On minimal elements of upward-closed sets. (English) Zbl 1168.68032 Theor. Comput. Sci. 410, No. 24-25, 2442-2452 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{H.-C. Yen} and \textit{C.-L. Chen}, Theor. Comput. Sci. 410, No. 24--25, 2442--2452 (2009; Zbl 1168.68032) Full Text: DOI
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans Combining answer set programming with description logics for the semantic web. (English) Zbl 1183.68595 Artif. Intell. 172, No. 12-13, 1495-1539 (2008). MSC: 68T27 68M11 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 172, No. 12--13, 1495--1539 (2008; Zbl 1183.68595) Full Text: DOI
Leoreanu Fotea, Violeta The lower and upper approximations in a hypergroup. (English) Zbl 1156.68585 Inf. Sci. 178, No. 18, 3605-3615 (2008). MSC: 68T30 68T37 20N20 PDFBibTeX XMLCite \textit{V. Leoreanu Fotea}, Inf. Sci. 178, No. 18, 3605--3615 (2008; Zbl 1156.68585) Full Text: DOI
Møller, Jesper; Helisová, Kateřina Power diagrams and interaction processes for unions of discs. (English) Zbl 1146.60322 Adv. Appl. Probab. 40, No. 2, 321-347 (2008). MSC: 60K35 60D05 60G55 62M30 68U20 PDFBibTeX XMLCite \textit{J. Møller} and \textit{K. Helisová}, Adv. Appl. Probab. 40, No. 2, 321--347 (2008; Zbl 1146.60322) Full Text: DOI
Brodhead, Paul; Cenzer, Douglas; Remmel, Jeffrey B. Random continuous functions. (English) Zbl 1262.03065 Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 275-287 (2007). MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{P. Brodhead} et al., Electron. Notes Theor. Comput. Sci. 167, 275--287 (2007; Zbl 1262.03065) Full Text: DOI
Wei, Ling; Li, Hongru; Zhang, Wenxiu Knowledge reduction based on the equivalence relations defined on attribute set and its power set. (English) Zbl 1122.68126 Inf. Sci. 177, No. 15, 3178-3185 (2007). MSC: 68T30 68T05 68U35 PDFBibTeX XMLCite \textit{L. Wei} et al., Inf. Sci. 177, No. 15, 3178--3185 (2007; Zbl 1122.68126) Full Text: DOI
Li, Hongru; Zhang, Wenxiu; Xu, Ping; Wang, Hong Rough set attribute reduction in decision systems. (English) Zbl 1196.68253 Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 135-140 (2006). MSC: 68T30 68T05 PDFBibTeX XMLCite \textit{H. Li} et al., Lect. Notes Comput. Sci. 4062, 135--140 (2006; Zbl 1196.68253) Full Text: DOI
Wolski, Marcin Complete orders, categories and lattices of approximations. (English) Zbl 1096.03067 Fundam. Inform. 72, No. 1-3, 421-435 (2006). MSC: 03E72 18D15 68T37 06B35 03G10 PDFBibTeX XMLCite \textit{M. Wolski}, Fundam. Inform. 72, No. 1--3, 421--435 (2006; Zbl 1096.03067)
Worrell, James On the final sequence of a finitary set functor. (English) Zbl 1070.18004 Theor. Comput. Sci. 338, No. 1-3, 184-199 (2005). Reviewer: Paul Bankston (Milwaukee) MSC: 18D15 18B05 68Q65 03E75 PDFBibTeX XMLCite \textit{J. Worrell}, Theor. Comput. Sci. 338, No. 1--3, 184--199 (2005; Zbl 1070.18004) Full Text: DOI
Fomin, Fedor V.; Thilikos, Dimtirios M. Dominating sets and local treewidth. (English) Zbl 1266.05164 Di Battista, Giuseppe (ed.) et al., Algorithms – ESA 2003. 11th annual European symposium, Budapest, Hungary, September 16–19, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20064-9/pbk). Lect. Notes Comput. Sci. 2832, 221-229 (2003). MSC: 05C85 05C69 68Q25 PDFBibTeX XMLCite \textit{F. V. Fomin} and \textit{D. M. Thilikos}, Lect. Notes Comput. Sci. 2832, 221--229 (2003; Zbl 1266.05164) Full Text: DOI
Bauer, Andrej A relationship between equilogical spaces and type two effectivity. (English) Zbl 1026.68088 Math. Log. Q. 48, Suppl. 1, 1-15 (2002). Reviewer: Paul Bankston (Milwaukee) MSC: 68Q55 03D65 18C50 18D15 18A40 PDFBibTeX XMLCite \textit{A. Bauer}, Math. Log. Q. 48, 1--15 (2002; Zbl 1026.68088) Full Text: DOI
Mislove, M. Local dcpos, local cpos and local completions. (English) Zbl 0924.68112 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 23 (1999). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. Mislove}, in: Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier. electronic paper No. 23 (1999; Zbl 0924.68112) Full Text: Link
Dontchev, Julian; Maki, Haruo Groups of \(\theta\)-generalized homeomorphisms and the digital line. (English) Zbl 0933.54015 Topology Appl. 95, No. 2, 113-128 (1999). Reviewer: Richard G.Wilson (México) MSC: 54C08 54D10 68U05 68U10 PDFBibTeX XMLCite \textit{J. Dontchev} and \textit{H. Maki}, Topology Appl. 95, No. 2, 113--128 (1999; Zbl 0933.54015) Full Text: DOI
Zhu, Zhaohui; Shi, Qingsheng; Zhu, Wujia Program generic set: Semantics of medium logic program described by forcing. (English) Zbl 0873.03033 Sci. China, Ser. E 39, No. 6, 620-627 (1996). MSC: 03B70 68N17 03E70 03E40 03B52 68Q55 PDFBibTeX XMLCite \textit{Z. Zhu} et al., Sci. China, Ser. E 39, No. 6, 620--627 (1996; Zbl 0873.03033)
Liang, Jihua; Liu, Yingming Continuous \(L\)-domains. (English) Zbl 0860.06006 Chin. Ann. Math., Ser. B 17, No. 3, 263-270 (1996). Reviewer: J.Rosický (Brno) MSC: 06B35 68Q55 18D15 PDFBibTeX XMLCite \textit{J. Liang} and \textit{Y. Liu}, Chin. Ann. Math., Ser. B 17, No. 3, 263--270 (1996; Zbl 0860.06006)
Ponomarenko, I. N. Graph isomorphism problem and \(2\)-closed permutation groups. (English) Zbl 0803.20003 Appl. Algebra Eng. Commun. Comput. 5, No. 1, 9-22 (1994). Reviewer: P.P.Pálfy (Budapest) MSC: 20B25 05C25 68Q25 20B05 20F05 20D20 PDFBibTeX XMLCite \textit{I. N. Ponomarenko}, Appl. Algebra Eng. Commun. Comput. 5, No. 1, 9--22 (1994; Zbl 0803.20003) Full Text: DOI
Demetrovics, J.; Thi, V. D. Some problems concerning Armstrong relations of dual schemes and relation schemes in the relational datamodel. (English) Zbl 0804.68039 Acta Cybern. 11, No. 1-2, 35-47 (1993). MSC: 68P15 PDFBibTeX XMLCite \textit{J. Demetrovics} and \textit{V. D. Thi}, Acta Cybern. 11, No. 1--2, 35--47 (1993; Zbl 0804.68039)
Hansson, Sven Ove Changes of disjunctively closed bases. (English) Zbl 0798.03029 J. Logic Lang. Inf. 2, No. 4, 255-284 (1993). Reviewer: S.O.Hansson MSC: 03B60 68P15 PDFBibTeX XMLCite \textit{S. O. Hansson}, J. Logic Lang. Inf. 2, No. 4, 255--284 (1993; Zbl 0798.03029) Full Text: DOI
Demetrovics, János; Thi, Vu Duc Some computational problems related to the functional dependency in the relational datamodel. (English) Zbl 0797.68043 Acta Sci. Math. 57, No. 1-4, 627-638 (1993). Reviewer: Vu Duc Thi (Budapest) MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{J. Demetrovics} and \textit{V. D. Thi}, Acta Sci. Math. 57, No. 1--4, 627--638 (1993; Zbl 0797.68043)
Hobby, John D. Polygonal approximations that minimize the number of inflections. (English) Zbl 0801.68164 Ramachandran, Vijaya (ed.), Discrete algorithms. Proceedings of the 4th annual ACM-SIAM symposium, held at Austin, TX, USA, January 25-27, 1993. Philadelphia, PA: SIAM. 93-102 (1993). MSC: 68U05 68Q25 52B05 68P05 68U10 68T10 PDFBibTeX XMLCite \textit{J. D. Hobby}, in: Discrete algorithms. Proceedings of the 4th annual ACM-SIAM symposium, held at Austin, TX, USA, January 25-27, 1993. Philadelphia, PA: SIAM. 93--102 (1993; Zbl 0801.68164)
Katz, Shmuel; Peled, Doron Verification of distributed programs using representative interleaving sequences. (English) Zbl 0773.68053 Distrib. Comput. 6, No. 2, 107-120 (1992). MSC: 68Q60 68W15 68Q55 06B35 PDFBibTeX XMLCite \textit{S. Katz} and \textit{D. Peled}, Distrib. Comput. 6, No. 2, 107--120 (1992; Zbl 0773.68053) Full Text: DOI
Crole, Roy L.; Pitts, Andrew M. New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic. (English) Zbl 0763.03031 Inf. Comput. 98, No. 2, 171-210 (1992). MSC: 03F99 03D65 68Q55 03B40 18D15 18C15 PDFBibTeX XMLCite \textit{R. L. Crole} and \textit{A. M. Pitts}, Inf. Comput. 98, No. 2, 171--210 (1992; Zbl 0763.03031) Full Text: DOI
Canny, J.; Grigor’ev, D. Yu.; Vorob’ev, N. N. jun. Finding connected components of a semialgebraic set in subexponential time. (English) Zbl 0783.14036 Appl. Algebra Eng. Commun. Comput. 2, No. 4, 217-238 (1992). Reviewer: T.Recio (Santander) MSC: 14P10 68Q25 12D15 68W30 03C10 PDFBibTeX XMLCite \textit{J. Canny} et al., Appl. Algebra Eng. Commun. Comput. 2, No. 4, 217--238 (1992; Zbl 0783.14036) Full Text: DOI
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Finding connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0835.68061 J. Math. Sci., New York 70, No. 4, 1847-1872 (1994); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3-46 (1991). MSC: 68W30 14P10 68Q25 03C60 12Y05 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, J. Math. Sci., New York 70, No. 4, 1847--1872 (1991; Zbl 0835.68061); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3--46 (1991) Full Text: DOI
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Determination of the connected components of a semialgebraic set in subexponential time. (Russian. English summary) Zbl 0801.68098 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3-46 (1991). MSC: 68W30 14P10 68Q25 03C60 12Y05 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3--46 (1991; Zbl 0801.68098)
Demetrovics, János; Nguyen Xuan Huy Closed sets and translations of relation schemes. (English) Zbl 0714.68021 Comput. Math. Appl. 21, No. 1, 13-23 (1991). MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{J. Demetrovics} and \textit{Nguyen Xuan Huy}, Comput. Math. Appl. 21, No. 1, 13--23 (1991; Zbl 0714.68021) Full Text: DOI
Banon, Gerald Jean Francis; Barrera, Junior Minimal representations for translation-invariant set mappings by mathematical morphology. (English) Zbl 0742.68085 SIAM J. Appl. Math. 51, No. 6, 1782-1798 (1991). MSC: 68U10 68T10 06B23 93A10 94A12 PDFBibTeX XMLCite \textit{G. J. F. Banon} and \textit{J. Barrera}, SIAM J. Appl. Math. 51, No. 6, 1782--1798 (1991; Zbl 0742.68085) Full Text: DOI Link
Ganter, Bernhard; Reuter, Klaus Finding all closed sets: A general approach. (English) Zbl 0754.06003 Order 8, No. 3, 283-290 (1991). Reviewer: K.Reuter MSC: 06A15 68R99 PDFBibTeX XMLCite \textit{B. Ganter} and \textit{K. Reuter}, Order 8, No. 3, 283--290 (1991; Zbl 0754.06003) Full Text: DOI
Courcelle, Bruno On constructing obstruction sets of words. (English) Zbl 0744.68074 Bull. EATCS 44, 178-185 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Courcelle}, Bull. EATCS 44, 178--185 (1991; Zbl 0744.68074)
Longo, Giuseppe; Moggi, Eugenio A category-theoretic characterization of functional completeness. (English) Zbl 0698.68008 Theor. Comput. Sci. 70, No. 2, 193-211 (1990). MSC: 68N01 03B40 18D15 68R99 03D65 PDFBibTeX XMLCite \textit{G. Longo} and \textit{E. Moggi}, Theor. Comput. Sci. 70, No. 2, 193--211 (1990; Zbl 0698.68008) Full Text: DOI
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Determination of the number of connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0801.68097 Sov. Math., Dokl. 42, No. 2, 563-566 (1991); translation from Dokl. Akad. Nauk SSSR 314, No. 5, 1040-1043 (1990). MSC: 68W30 68Q25 14P10 14Q99 12Y05 03C60 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, Sov. Math., Dokl. 42, No. 2, 563--566 (1990; Zbl 0801.68097); translation from Dokl. Akad. Nauk SSSR 314, No. 5, 1040--1043 (1990)
Ko, Hai-Ping Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle. (English) Zbl 0668.68100 Artif. Intell. 37, No. 1-3, 95-122 (1988). Reviewer: D.Yu.Grigor’ev MSC: 68T15 68W30 14A05 13B25 PDFBibTeX XMLCite \textit{H.-P. Ko}, Artif. Intell. 37, No. 1--3, 95--122 (1988; Zbl 0668.68100) Full Text: DOI
Müller, N. Th. Subpolynomial complexity classes of real functions and real numbers. (English) Zbl 0629.03023 Automata, languages and programming, Proc. 13th Int. Colloq., Rennes/France 1986, Lect. Notes Comput. Sci. 226, 284-293 (1986). MSC: 03D65 68Q25 03D60 03D15 PDFBibTeX XML
Bernard, Noël Neighborhoods, elements, graduation: The multiensembles. (English) Zbl 0592.68046 The mathematics of fuzzy systems, Interdisciplinary Syst. Res. 88, 1-31 (1986). MSC: 68Q99 06A06 18D15 03E72 03E20 PDFBibTeX XML
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDFBibTeX XML
Valk, Rüdiger; Jantzen, Matthias The residue of vector sets with applications to decidability problems in Petri nets. (English) Zbl 0613.68029 Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 234-258 (1985). Reviewer: J.-J.Ch.Meyer MSC: 68Q85 PDFBibTeX XML
Chang, Gerard J.; Edmonds, Jack The poset scheduling problem. (English) Zbl 0572.90055 Order 2, 113-118 (1985). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{G. J. Chang} and \textit{J. Edmonds}, Order 2, 113--118 (1985; Zbl 0572.90055) Full Text: DOI
Longo, Giuseppe; Moggi, E. Cartesian closed categories of enumerations for effective type structures. (English) Zbl 0564.03037 Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 235-255 (1984). Reviewer: M.Eytan MSC: 03D65 18D15 68Q99 03B40 03D45 PDFBibTeX XML
Farmer, Frank D. Homotopy spheres in formal language. (English) Zbl 0511.55009 Stud. Appl. Math. 66, 171-179 (1982). MSC: 55P99 68Q45 PDFBibTeX XMLCite \textit{F. D. Farmer}, Stud. Appl. Math. 66, 171--179 (1982; Zbl 0511.55009) Full Text: DOI
Nivat, Maurice Infinitary relations. (English) Zbl 0479.68055 Trees in algebra and programming, CAAP’81, Proc. 6th Colloq., Genoa/Italy 1981, Lect. Notes Comput. Sci. 112, 46-75 (1981). MSC: 68Q99 03E20 20M05 20M35 PDFBibTeX XML
Kalaba, R. E.; Spingarn, K. Numerical approaches to the eigenvalues of Saaty’s matrices for fuzzy sets. (English) Zbl 0402.65021 Comput. Math. Appl. 4, 369-375 (1978). MSC: 65F15 68T10 PDFBibTeX XMLCite \textit{R. E. Kalaba} and \textit{K. Spingarn}, Comput. Math. Appl. 4, 369--375 (1978; Zbl 0402.65021) Full Text: DOI