Lee, Wonhong; Kim, Sang-Mok Separation numbers with respect to square numbers. (English) Zbl 07527457 Adv. Appl. Discrete Math. 29, No. 2, 139-154 (2022). MSC: 06A07 PDF BibTeX XML Cite \textit{W. Lee} and \textit{S.-M. Kim}, Adv. Appl. Discrete Math. 29, No. 2, 139--154 (2022; Zbl 07527457) Full Text: DOI OpenURL
Galesi, Nicola; Ranjbar, Fariba Tight bounds to localize failure nodes on trees, grids and through embeddings under Boolean network tomography. (English) Zbl 07524444 Theor. Comput. Sci. 919, 103-117 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{N. Galesi} and \textit{F. Ranjbar}, Theor. Comput. Sci. 919, 103--117 (2022; Zbl 07524444) Full Text: DOI OpenURL
Hosoya, Yuhki The weak axiom of revealed preference and inverse problems in consumer theory. (English) Zbl 1483.91119 Linear Nonlinear Anal. 7, No. 1, 19-31 (2021). MSC: 91B42 91B08 PDF BibTeX XML Cite \textit{Y. Hosoya}, Linear Nonlinear Anal. 7, No. 1, 19--31 (2021; Zbl 1483.91119) Full Text: Link OpenURL
Zhao, Xiaoxia; Feng, Yanbin The relationships between fuzzy topologies and fuzzy rough sets. (Chinese. English summary) Zbl 07448300 Fuzzy Syst. Math. 35, No. 3, 8-17 (2021). MSC: 54A40 03E72 PDF BibTeX XML Cite \textit{X. Zhao} and \textit{Y. Feng}, Fuzzy Syst. Math. 35, No. 3, 8--17 (2021; Zbl 07448300) OpenURL
Ohsaka, Naoto A fully polynomial parameterized algorithm for counting the number of reachable vertices in a digraph. (English) Zbl 07360090 Inf. Process. Lett. 171, Article ID 106137, 6 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{N. Ohsaka}, Inf. Process. Lett. 171, Article ID 106137, 6 p. (2021; Zbl 07360090) Full Text: DOI arXiv OpenURL
Louza, Felipe A.; Mhaskar, Neerja; Smyth, W. F. A new approach to regular & indeterminate strings. (English) Zbl 1477.68555 Theor. Comput. Sci. 854, 105-115 (2021). MSC: 68W32 68R15 PDF BibTeX XML Cite \textit{F. A. Louza} et al., Theor. Comput. Sci. 854, 105--115 (2021; Zbl 1477.68555) Full Text: DOI arXiv OpenURL
Wáng, Yì N.; Ågotnes, Thomas Simpler completeness proofs for modal logics with intersection. (English) Zbl 07437027 Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 259-276 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{Y. N. Wáng} and \textit{T. Ågotnes}, Lect. Notes Comput. Sci. 12569, 259--276 (2020; Zbl 07437027) Full Text: DOI arXiv OpenURL
Gashkov, S. B. A note on the fast computation of transitive closure of graphs and the multiplication of integer matrices. (English. Russian original) Zbl 1465.05177 Mosc. Univ. Math. Bull. 75, No. 6, 239-245 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14-19 (2020). MSC: 05C85 05C76 94C11 15B34 PDF BibTeX XML Cite \textit{S. B. Gashkov}, Mosc. Univ. Math. Bull. 75, No. 6, 239--245 (2020; Zbl 1465.05177); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14--19 (2020) Full Text: DOI OpenURL
Cohen, Liron; Rowe, Reuben N. S. Non-well-founded proof theory of transitive closure logic. (English) Zbl 1446.03031 ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020). MSC: 03B35 03B70 03B60 03F03 03F07 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{R. N. S. Rowe}, ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020; Zbl 1446.03031) Full Text: DOI OpenURL
Sedlár, Igor Iterative division in the Distributive Full Non-Associative Lambek Calculus. (English) Zbl 07218624 Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 141-154 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{I. Sedlár}, Lect. Notes Comput. Sci. 12005, 141--154 (2020; Zbl 07218624) Full Text: DOI arXiv OpenURL
Wu, Huishan; Liu, Guilong The relationships between topologies and generalized rough sets. (English) Zbl 1434.68578 Int. J. Approx. Reasoning 119, 313-324 (2020). MSC: 68T37 54A99 PDF BibTeX XML Cite \textit{H. Wu} and \textit{G. Liu}, Int. J. Approx. Reasoning 119, 313--324 (2020; Zbl 1434.68578) Full Text: DOI OpenURL
Sini, P. Hereditarily homogeneous generalized topological spaces. (English) Zbl 1455.54006 Iran. J. Math. Sci. Inform. 14, No. 2, 9-18 (2019). MSC: 54A05 54D10 PDF BibTeX XML Cite \textit{P. Sini}, Iran. J. Math. Sci. Inform. 14, No. 2, 9--18 (2019; Zbl 1455.54006) Full Text: Link OpenURL
Azimov, R.; Grigorev, S. Path querying with conjunctive grammars by matrix multiplication. (English) Zbl 1455.68077 Program. Comput. Softw. 45, No. 7, 357-364 (2019). MSC: 68Q42 68W40 PDF BibTeX XML Cite \textit{R. Azimov} and \textit{S. Grigorev}, Program. Comput. Softw. 45, No. 7, 357--364 (2019; Zbl 1455.68077) Full Text: DOI OpenURL
Bessouf, Ouahiba; Khelladi, Abdelkader; Zaslavsky, Thomas Transitive closure and transitive reduction in bidirected graphs. (English) Zbl 07088785 Czech. Math. J. 69, No. 2, 295-315 (2019). MSC: 05C22 05C20 05C38 PDF BibTeX XML Cite \textit{O. Bessouf} et al., Czech. Math. J. 69, No. 2, 295--315 (2019; Zbl 07088785) Full Text: DOI arXiv OpenURL
Cohen, Liron; Constable, Robert L. Intuitionistic ancestral logic. (English) Zbl 1444.03103 J. Log. Comput. 29, No. 4, 469-486 (2019). MSC: 03B60 03B20 03B35 68N17 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{R. L. Constable}, J. Log. Comput. 29, No. 4, 469--486 (2019; Zbl 1444.03103) Full Text: DOI Link OpenURL
Vasil’ev, A. V.; Churikov, D. V. The 2-closure of a \(\frac{3}{2}\)-transitive group in polynomial time. (English. Russian original) Zbl 07082360 Sib. Math. J. 60, No. 2, 279-290 (2019); translation from Sib. Mat. Zh. 60, No. 2, 360-375 (2019). MSC: 20-XX PDF BibTeX XML Cite \textit{A. V. Vasil'ev} and \textit{D. V. Churikov}, Sib. Math. J. 60, No. 2, 279--290 (2019; Zbl 07082360); translation from Sib. Mat. Zh. 60, No. 2, 360--375 (2019) Full Text: DOI arXiv OpenURL
Grußien, Berit Capturing polynomial time using modular decomposition. (English) Zbl 1411.68045 Log. Methods Comput. Sci. 15, No. 1, Paper No. 24, 38 p. (2019). Reviewer: Gregory Loren McColm (Tampa) MSC: 68Q19 03B70 03C13 05C60 68Q15 68R10 PDF BibTeX XML Cite \textit{B. Grußien}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 24, 38 p. (2019; Zbl 1411.68045) Full Text: arXiv OpenURL
Bamberg, John; Praeger, Cheryl E.; Xia, Binzhou The covering radii of the 2-transitive unitary, Suzuki, and Ree groups. (English) Zbl 1439.20002 J. Group Theory 22, No. 1, 103-117 (2019). Reviewer: Anatoli Kondrat’ev (Ekaterinburg) MSC: 20B20 20D06 05B25 05B40 20D60 51D20 PDF BibTeX XML Cite \textit{J. Bamberg} et al., J. Group Theory 22, No. 1, 103--117 (2019; Zbl 1439.20002) Full Text: DOI arXiv Link OpenURL
Cohen, Liron; Rowe, Reuben N. S. Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 07533342 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{R. N. S. Rowe}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018; Zbl 07533342) Full Text: DOI OpenURL
Bielecki, Wlodzimierz; Palkowski, Marek; Skotnicki, Piotr Generation of parallel synchronization-free tiled code. (English) Zbl 06888102 Computing 100, No. 3, 277-302 (2018). MSC: 65Y05 68M20 68N20 05B45 05-04 PDF BibTeX XML Cite \textit{W. Bielecki} et al., Computing 100, No. 3, 277--302 (2018; Zbl 06888102) Full Text: DOI OpenURL
Bhuniya, A. K.; Mondal, T. K. On decompositions of semirings via \(k\)-radicals of some relations. (English) Zbl 1413.16063 Acta Math. Hung. 154, No. 2, 470-479 (2018). MSC: 16Y60 16N80 PDF BibTeX XML Cite \textit{A. K. Bhuniya} and \textit{T. K. Mondal}, Acta Math. Hung. 154, No. 2, 470--479 (2018; Zbl 1413.16063) Full Text: DOI OpenURL
Palkowski, Marek; Bielecki, Wlodzimierz; Skotnicki, Piotr Improving data locality of RNA secondary structure prediction code. (English) Zbl 07529055 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10245, 690-699 (2017). MSC: 92D20 92-08 92-04 PDF BibTeX XML Cite \textit{M. Palkowski} et al., Lect. Notes Comput. Sci. 10245, 690--699 (2017; Zbl 07529055) Full Text: DOI OpenURL
Guo, Shuaishuai; Wang, Xuzhu Acyclicity measure of fuzzy relations. (Chinese. English summary) Zbl 1424.03027 Fuzzy Syst. Math. 31, No. 1, 71-77 (2017). MSC: 03E72 PDF BibTeX XML Cite \textit{S. Guo} and \textit{X. Wang}, Fuzzy Syst. Math. 31, No. 1, 71--77 (2017; Zbl 1424.03027) OpenURL
Pawlak, Ryszard J.; Korczak-Kubiak, Ewa; Loranty, Anna On some open problems connected with discrete dynamical systems in abstract analysis. (English) Zbl 1387.54024 Folia Math. 19, No. 1, 9-29 (2017). MSC: 54H20 54A05 54C70 91A05 91A06 54C60 PDF BibTeX XML Cite \textit{R. J. Pawlak} et al., Folia Math. 19, No. 1, 9--29 (2017; Zbl 1387.54024) Full Text: Link OpenURL
Sedlár, Igor Substructural logics with a reflexive transitive closure modality. (English) Zbl 06820481 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 349-357 (2017). MSC: 03B70 PDF BibTeX XML Cite \textit{I. Sedlár}, Lect. Notes Comput. Sci. 10388, 349--357 (2017; Zbl 06820481) Full Text: DOI OpenURL
Reimers, Arne C.; Reimers, Alexandra-M.; Goldstein, Yaron Minimal equivalent subgraphs containing a given set of arcs. (English) Zbl 1369.05151 Theor. Comput. Sci. 675, 56-63 (2017). MSC: 05C60 PDF BibTeX XML Cite \textit{A. C. Reimers} et al., Theor. Comput. Sci. 675, 56--63 (2017; Zbl 1369.05151) Full Text: DOI OpenURL
Berghammer, Rudolf; Guttmann, Walter An algebraic approach to multirelations and their properties. (English) Zbl 1471.03088 J. Log. Algebr. Methods Program. 88, 45-63 (2017). MSC: 03G15 08A02 PDF BibTeX XML Cite \textit{R. Berghammer} and \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 88, 45--63 (2017; Zbl 1471.03088) Full Text: DOI OpenURL
Ausiello, Giorgio; Laura, Luigi Directed hypergraphs: introduction and fundamental algorithms – a survey. (English) Zbl 1356.68159 Theor. Comput. Sci. 658, Part B, 293-306 (2017). MSC: 68R10 03B70 05C20 05C65 68P15 PDF BibTeX XML Cite \textit{G. Ausiello} and \textit{L. Laura}, Theor. Comput. Sci. 658, Part B, 293--306 (2017; Zbl 1356.68159) Full Text: DOI OpenURL
Snytnikova, T. V.; Nepomnyashchaya, A. Sh. Solution of graph problems by means of the STAR-machine being implemented on GPUs. (Russian. English summary) Zbl 07310352 Prikl. Diskretn. Mat. 2016, No. 3(33), 98-115 (2016). MSC: 68-XX 65-XX PDF BibTeX XML Cite \textit{T. V. Snytnikova} and \textit{A. Sh. Nepomnyashchaya}, Prikl. Diskretn. Mat. 2016, No. 3(33), 98--115 (2016; Zbl 07310352) Full Text: DOI MNR Link OpenURL
Churikov, Dmitriy Vladimirovich; Vasil’ev, Andrey Victorovich Automorphism groups of cyclotomic schemes over finite near-fields. (English) Zbl 1431.20005 Sib. Èlektron. Mat. Izv. 13, 1271-1282 (2016). MSC: 20B25 05E30 12K05 20B15 PDF BibTeX XML Cite \textit{D. V. Churikov} and \textit{A. V. Vasil'ev}, Sib. Èlektron. Mat. Izv. 13, 1271--1282 (2016; Zbl 1431.20005) Full Text: DOI OpenURL
Caniglia, Caravaggio; Cousino, Benjamin; Cheng, Shih-Chuan; Malik, Davender S.; Mordeson, John N. Intuitionistic fuzzy graphs: weakening and strengthening members of a group. (English) Zbl 1371.05237 J. Fuzzy Math. 24, No. 1, 87-102 (2016). MSC: 05C72 05C25 PDF BibTeX XML Cite \textit{C. Caniglia} et al., J. Fuzzy Math. 24, No. 1, 87--102 (2016; Zbl 1371.05237) OpenURL
Garhwal, Sunita; Jiwari, Ram Conversion of fuzzy automata into fuzzy regular expressions using transitive closure. (English) Zbl 1361.68120 J. Intell. Fuzzy Syst. 30, No. 6, 3123-3129 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Garhwal} and \textit{R. Jiwari}, J. Intell. Fuzzy Syst. 30, No. 6, 3123--3129 (2016; Zbl 1361.68120) Full Text: DOI OpenURL
Bielecki, Włodzimierz; Pałkowski, Marek Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs. (English) Zbl 1355.68044 Int. J. Appl. Math. Comput. Sci. 26, No. 4, 919-939 (2016). MSC: 68N20 PDF BibTeX XML Cite \textit{W. Bielecki} and \textit{M. Pałkowski}, Int. J. Appl. Math. Comput. Sci. 26, No. 4, 919--939 (2016; Zbl 1355.68044) Full Text: DOI OpenURL
Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel Into the square: on the complexity of some quadratic-time solvable problems. (English) Zbl 1345.68170 Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 51-67, electronic only (2016). MSC: 68Q25 68Q17 PDF BibTeX XML Cite \textit{M. Borassi} et al., Electron. Notes Theor. Comput. Sci. 322, 51--67 (2016; Zbl 1345.68170) Full Text: DOI arXiv OpenURL
Korczak-Kubiak, Ewa; Pawlak, Ryszard J. On semi-open sets and mutual correspondence between properties of functions considered with respect to different topological structures. (English) Zbl 06609721 Tatra Mt. Math. Publ. 65, 119-134 (2016). MSC: 54A05 54C08 26A15 PDF BibTeX XML Cite \textit{E. Korczak-Kubiak} and \textit{R. J. Pawlak}, Tatra Mt. Math. Publ. 65, 119--134 (2016; Zbl 06609721) Full Text: DOI Link OpenURL
Borassi, Michele A note on the complexity of computing the number of reachable vertices in a digraph. (English) Zbl 1362.68099 Inf. Process. Lett. 116, No. 10, 628-630 (2016). MSC: 68Q25 05C85 PDF BibTeX XML Cite \textit{M. Borassi}, Inf. Process. Lett. 116, No. 10, 628--630 (2016; Zbl 1362.68099) Full Text: DOI arXiv OpenURL
Roditty, Liam; Zwick, Uri A fully dynamic reachability algorithm for directed graphs with an almost linear update time. (English) Zbl 1342.05187 SIAM J. Comput. 45, No. 3, 712-733 (2016). MSC: 05C85 05C20 05C40 68Q25 90C35 PDF BibTeX XML Cite \textit{L. Roditty} and \textit{U. Zwick}, SIAM J. Comput. 45, No. 3, 712--733 (2016; Zbl 1342.05187) Full Text: DOI OpenURL
Yang, Miin-Shen; Wang, Ching-Nan Clustering methods based on weighted quasi-arithmetic means of \(T\)-transitive fuzzy relations. (English) Zbl 1377.68219 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 23, No. 5, 715-733 (2015). MSC: 68T05 68T10 68T37 PDF BibTeX XML Cite \textit{M.-S. Yang} and \textit{C.-N. Wang}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 23, No. 5, 715--733 (2015; Zbl 1377.68219) Full Text: DOI OpenURL
Zou, Jietao; Wang, Haiyan; Zhao, Fangxia Precipitation regional classification based on mixed fuzzy clustering analysis. (Chinese. English summary) Zbl 1349.62297 Math. Pract. Theory 45, No. 2, 106-112 (2015). MSC: 62H86 62H30 PDF BibTeX XML Cite \textit{J. Zou} et al., Math. Pract. Theory 45, No. 2, 106--112 (2015; Zbl 1349.62297) OpenURL
Fan, Yanhuan; Geng, Shengling; Li, Yongming Finite automata with membership values in lattices and monadic second-order lattice-valued logic. (Chinese. English summary) Zbl 1349.03015 Fuzzy Syst. Math. 29, No. 4, 38-44 (2015). MSC: 03B52 03D05 03B20 68Q45 PDF BibTeX XML Cite \textit{Y. Fan} et al., Fuzzy Syst. Math. 29, No. 4, 38--44 (2015; Zbl 1349.03015) OpenURL
Zolotov, A. S. On decidability of the theory with the transitive closure operator. (English) Zbl 1348.03014 Lobachevskii J. Math. 36, No. 4, 434-440 (2015). MSC: 03B25 PDF BibTeX XML Cite \textit{A. S. Zolotov}, Lobachevskii J. Math. 36, No. 4, 434--440 (2015; Zbl 1348.03014) Full Text: DOI OpenURL
Bielecki, Włodzimierz; Kraska, Krzysztof; Klimek, Tomasz Using basis dependence distance vectors in the modified Floyd-Warshall algorithm. (English) Zbl 1319.05123 J. Comb. Optim. 30, No. 2, 253-275 (2015). MSC: 05C85 68R10 68N20 PDF BibTeX XML Cite \textit{W. Bielecki} et al., J. Comb. Optim. 30, No. 2, 253--275 (2015; Zbl 1319.05123) Full Text: DOI OpenURL
Fülöp, Zoltán; Vogler, Heiko Characterizing weighted MSO for trees by branching transitive closure logics. (English) Zbl 1353.03040 Theor. Comput. Sci. 594, 82-105 (2015). MSC: 03D05 03B15 PDF BibTeX XML Cite \textit{Z. Fülöp} and \textit{H. Vogler}, Theor. Comput. Sci. 594, 82--105 (2015; Zbl 1353.03040) Full Text: DOI arXiv OpenURL
Shult, Ernest; Surowski, David Algebra. A teaching and source book. (English) Zbl 1346.00003 Cham: Springer (ISBN 978-3-319-19733-3/pbk; 978-3-319-19734-0/ebook). xxii, 539 p. (2015). Reviewer: Mihai Cipu (Bucureşti) MSC: 00A05 12-01 13-01 20-01 PDF BibTeX XML Cite \textit{E. Shult} and \textit{D. Surowski}, Algebra. A teaching and source book. Cham: Springer (2015; Zbl 1346.00003) Full Text: DOI OpenURL
Berghammer, Rudolf; Fischer, Sebastian Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. (English) Zbl 1329.68062 J. Log. Algebr. Methods Program. 84, No. 3, 341-358 (2015). MSC: 68N18 03G20 05C20 05C85 PDF BibTeX XML Cite \textit{R. Berghammer} and \textit{S. Fischer}, J. Log. Algebr. Methods Program. 84, No. 3, 341--358 (2015; Zbl 1329.68062) Full Text: DOI OpenURL
Stout, Quentin F. Isotonic regression for multiple independent variables. (English) Zbl 1312.62084 Algorithmica 71, No. 2, 450-470 (2015). MSC: 62J02 68W25 90C35 PDF BibTeX XML Cite \textit{Q. F. Stout}, Algorithmica 71, No. 2, 450--470 (2015; Zbl 1312.62084) Full Text: DOI Link OpenURL
Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. (English) Zbl 1319.68070 Ann. Math. Artif. Intell. 73, No. 1-2, 167-203 (2015). MSC: 68P15 03C07 05C60 68R10 PDF BibTeX XML Cite \textit{G. H. L. Fletcher} et al., Ann. Math. Artif. Intell. 73, No. 1--2, 167--203 (2015; Zbl 1319.68070) Full Text: DOI Link OpenURL
Hovda, Paul Natural mereology and classical mereology. (English) Zbl 1436.03040 Calosi, Claudio (ed.) et al., Mereology and the sciences. Parts and wholes in the contemporary scientific context. Cham: Springer. Synth. Libr. 371, 141-159 (2014). MSC: 03A05 03B60 PDF BibTeX XML Cite \textit{P. Hovda}, Synth. Libr. 371, 141--159 (2014; Zbl 1436.03040) Full Text: DOI OpenURL
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny Filtration safe operations on frames. (English) Zbl 1385.03020 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 333-352 (2014). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{S. Kikot} et al., in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 333--352 (2014; Zbl 1385.03020) OpenURL
Charatonik, Witold; Kieroński, Emanuel; Mazowiecki, Filip Decidability of weak logics with deterministic transitive closure. (English) Zbl 1394.03015 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 29, 10 p. (2014). MSC: 03B25 03B20 68Q17 PDF BibTeX XML Cite \textit{W. Charatonik} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 29, 10 p. (2014; Zbl 1394.03015) Full Text: DOI OpenURL
Burdett, Robert; Kozan, Erhan Determining operations affected by delay in predictive train timetables. (English) Zbl 1348.90244 Comput. Oper. Res. 41, 150-166 (2014). MSC: 90B35 90C31 PDF BibTeX XML Cite \textit{R. Burdett} and \textit{E. Kozan}, Comput. Oper. Res. 41, 150--166 (2014; Zbl 1348.90244) Full Text: DOI Link OpenURL
Guo, Qing; Yang, Shanlin; Liu, Wenjun A novel attribute reduction algorithm of intuitionistic fuzzy-valued information system. (Chinese. English summary) Zbl 1324.68197 Fuzzy Syst. Math. 28, No. 4, 138-143 (2014). MSC: 68T37 68T30 PDF BibTeX XML Cite \textit{Q. Guo} et al., Fuzzy Syst. Math. 28, No. 4, 138--143 (2014; Zbl 1324.68197) OpenURL
Freson, S.; De Baets, B.; De Meyer, H. Closing reciprocal relations w.r.t. stochastic transitivity. (English) Zbl 1315.03092 Fuzzy Sets Syst. 241, 2-26 (2014). MSC: 03E72 PDF BibTeX XML Cite \textit{S. Freson} et al., Fuzzy Sets Syst. 241, 2--26 (2014; Zbl 1315.03092) Full Text: DOI OpenURL
Ok, Efe A.; Riella, Gil Topological closure of translation invariant preorders. (English) Zbl 1325.06002 Math. Oper. Res. 39, No. 3, 737-745 (2014). MSC: 06A06 06F15 54H11 46A40 PDF BibTeX XML Cite \textit{E. A. Ok} and \textit{G. Riella}, Math. Oper. Res. 39, No. 3, 737--745 (2014; Zbl 1325.06002) Full Text: DOI Link OpenURL
Mondal, Sanjib; Pal, Madhumangal Intuitionistic fuzzy incline matrix and determinant. (English) Zbl 1307.15049 Ann. Fuzzy Math. Inform. 8, No. 1, 19-32 (2014). MSC: 15B15 15A15 PDF BibTeX XML Cite \textit{S. Mondal} and \textit{M. Pal}, Ann. Fuzzy Math. Inform. 8, No. 1, 19--32 (2014; Zbl 1307.15049) Full Text: Link OpenURL
Li, Jinlu Some binary relations on \(\mathbb{R}^+\) that never stabilize under alternating transitive closure and topological closure operators. (English) Zbl 1323.06005 Nonlinear Anal. Forum 19, 77-97 (2014). MSC: 06A15 47H07 47J20 54A05 PDF BibTeX XML Cite \textit{J. Li}, Nonlinear Anal. Forum 19, 77--97 (2014; Zbl 1323.06005) OpenURL
McLeman, Cam; McNicholas, Erin Graph invertibility. (English) Zbl 1298.05265 Graphs Comb. 30, No. 4, 977-1002 (2014). MSC: 05C70 05C20 05C38 PDF BibTeX XML Cite \textit{C. McLeman} and \textit{E. McNicholas}, Graphs Comb. 30, No. 4, 977--1002 (2014; Zbl 1298.05265) Full Text: DOI arXiv OpenURL
Jipsen, Peter Concurrent Kleene algebra with tests. (English) Zbl 1345.68139 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 37-48 (2014). MSC: 68Q10 68N30 68Q55 68Q70 68Q85 PDF BibTeX XML Cite \textit{P. Jipsen}, Lect. Notes Comput. Sci. 8428, 37--48 (2014; Zbl 1345.68139) Full Text: DOI OpenURL
Łącki, Jakub; Sankowski, Piotr Reachability in graph timelines. (English) Zbl 1362.68061 Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 257-268 (2013). MSC: 68P05 05C85 68R10 68W20 PDF BibTeX XML Cite \textit{J. Łącki} and \textit{P. Sankowski}, in: Proceedings of the 4th conference on innovations in theoretical computer science, ITCS'13, Berkeley, CA, USA, January 9--12, 2013. New York, NY: Association for Computing Machinery (ACM). 257--268 (2013; Zbl 1362.68061) Full Text: DOI OpenURL
Mattioli, Gabriel; Recasens, Jordi Structural analysis of indistinguishability operators and related concepts. (English) Zbl 1321.03067 Inf. Sci. 241, 85-100 (2013). MSC: 03E72 PDF BibTeX XML Cite \textit{G. Mattioli} and \textit{J. Recasens}, Inf. Sci. 241, 85--100 (2013; Zbl 1321.03067) Full Text: DOI OpenURL
Dolan, Stephen Fun with semirings: a functional pearl on the abuse of linear algebra. (English) Zbl 1323.68110 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 101-110 (2013). MSC: 68N18 15B33 16Y60 PDF BibTeX XML Cite \textit{S. Dolan}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 101--110 (2013; Zbl 1323.68110) Full Text: DOI OpenURL
Łącki, Jakub Improved deterministic algorithms for decremental reachability and strongly connected components. (English) Zbl 1301.05336 ACM Trans. Algorithms 9, No. 3, Article No. 27, 15 p. (2013). MSC: 05C85 05C10 05C40 68P05 68R10 PDF BibTeX XML Cite \textit{J. Łącki}, ACM Trans. Algorithms 9, No. 3, Article No. 27, 15 p. (2013; Zbl 1301.05336) Full Text: DOI OpenURL
Green, Edward J. Embedding an analytic equivalence relation in the transitive closure of a Borel relation. (English) Zbl 1345.03087 J. Log. Anal. 5, Paper No. 4, 10 p. (2013). MSC: 03E02 03E15 28A05 PDF BibTeX XML Cite \textit{E. J. Green}, J. Log. Anal. 5, Paper No. 4, 10 p. (2013; Zbl 1345.03087) Full Text: DOI arXiv OpenURL
Guo, Qing; Liu, Wenjun; Jiao, Xianfa; Wu, Lei A novel interval-valued attribution reduction algorithm based on fuzzy clustering. (Chinese. English summary) Zbl 1299.68155 Fuzzy Syst. Math. 27, No. 1, 149-153 (2013). MSC: 68T30 68T37 PDF BibTeX XML Cite \textit{Q. Guo} et al., Fuzzy Syst. Math. 27, No. 1, 149--153 (2013; Zbl 1299.68155) OpenURL
Aghabozorgi, H.; Davvaz, B.; Jafarpour, M. Nilpotent groups derived from hypergroups. (English) Zbl 1286.20079 J. Algebra 382, 177-184 (2013). MSC: 20N20 20F18 PDF BibTeX XML Cite \textit{H. Aghabozorgi} et al., J. Algebra 382, 177--184 (2013; Zbl 1286.20079) Full Text: DOI OpenURL
Bielecki, Włodzimierz; Kraska, Krzysztof; Klimek, Tomasz Using basis dependence distance vectors to calculate the transitive closure of dependence relations by means of the Floyd-Warshall algorithm. (English) Zbl 1406.68017 Widmayer, Peter (ed.) et al., Combinatorial optimization and applications. 7th international conference, COCOA 2013, Chengdu, China, December 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03779-0/pbk). Lecture Notes in Computer Science 8287, 129-140 (2013). MSC: 68N30 68N20 68Q25 68R10 PDF BibTeX XML Cite \textit{W. Bielecki} et al., Lect. Notes Comput. Sci. 8287, 129--140 (2013; Zbl 1406.68017) Full Text: DOI OpenURL
Tan, Yi-Jia On transitivity of generalized fuzzy matrices. (English) Zbl 1270.15020 Fuzzy Sets Syst. 210, 69-88 (2013). Reviewer: Józef Drewniak (Rzeszów) MSC: 15B15 15B33 16Y60 15A80 PDF BibTeX XML Cite \textit{Y.-J. Tan}, Fuzzy Sets Syst. 210, 69--88 (2013; Zbl 1270.15020) Full Text: DOI OpenURL
Niesink, Patrick; Poulin, Keven; Šajna, Mateja Computing transitive closure of bipolar weighted digraphs. (English) Zbl 1254.05069 Discrete Appl. Math. 161, No. 1-2, 217-243 (2013). Reviewer: Wai-Kai Chen (Fremont) MSC: 05C20 05C22 05C72 PDF BibTeX XML Cite \textit{P. Niesink} et al., Discrete Appl. Math. 161, No. 1--2, 217--243 (2013; Zbl 1254.05069) Full Text: DOI OpenURL
Cantini, Andrea; Crosilla, Laura Conservativity of transitive closure over weak constructive operational set theory. (English) Zbl 1317.03040 Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 91-121 (2012). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F65 03E70 PDF BibTeX XML Cite \textit{A. Cantini} and \textit{L. Crosilla}, Ontos Math. Log. 3, 91--121 (2012; Zbl 1317.03040) OpenURL
Kieroński, Emanuel; Michaliszyn, Jakub Two-variable universal logic with transitive closure. (English) Zbl 1252.03078 Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 396-410, electronic only (2012). MSC: 03B70 03B25 68Q25 PDF BibTeX XML Cite \textit{E. Kieroński} and \textit{J. Michaliszyn}, LIPIcs -- Leibniz Int. Proc. Inform. 16, 396--410 (2012; Zbl 1252.03078) Full Text: DOI OpenURL
Park, Jin Han; Kim, Oe Hyeon; Kwun, Young Chel Some properties of equivalence soft set relations. (English) Zbl 1247.03116 Comput. Math. Appl. 63, No. 6, 1079-1088 (2012). MSC: 03E72 PDF BibTeX XML Cite \textit{J. H. Park} et al., Comput. Math. Appl. 63, No. 6, 1079--1088 (2012; Zbl 1247.03116) Full Text: DOI OpenURL
Bielecki, Wlodzimierz; Klimek, Tomasz; Palkowski, Marek; Beletska, Anna An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations. (English) Zbl 1247.68197 Discrete Math. Algorithms Appl. 4, No. 1, 1250011, 11 p. (2012). MSC: 68R10 68N99 05C62 05C85 54A05 PDF BibTeX XML Cite \textit{W. Bielecki} et al., Discrete Math. Algorithms Appl. 4, No. 1, 1250011, 11 p. (2012; Zbl 1247.68197) Full Text: DOI OpenURL
Bollig, Beate On symbolic OBDD-based algorithms for the minimum spanning tree problem. (English) Zbl 1245.05125 Theor. Comput. Sci. 447, 2-12 (2012). MSC: 05C85 05C05 68R10 68P05 PDF BibTeX XML Cite \textit{B. Bollig}, Theor. Comput. Sci. 447, 2--12 (2012; Zbl 1245.05125) Full Text: DOI OpenURL
Freson, Steven; De Meyer, Hans; De Baets, Bernard On the transitive closure of reciprocal \([0, 1]\)-valued relations. (English) Zbl 1254.03096 Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 146, 1015-1021 (2011). MSC: 03E72 68T37 91B06 PDF BibTeX XML Cite \textit{S. Freson} et al., in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18--22, 2011. Amsterdam: Atlantis Press. Paper No. 146, 1015--1021 (2011; Zbl 1254.03096) Full Text: DOI OpenURL
Boixader, Dionis; Recasens, Jordi Transitive openings. (English) Zbl 1254.03090 Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 72, 493-497 (2011). MSC: 03E72 PDF BibTeX XML Cite \textit{D. Boixader} and \textit{J. Recasens}, in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18--22, 2011. Amsterdam: Atlantis Press. Paper No. 72, 493--497 (2011; Zbl 1254.03090) Full Text: DOI OpenURL
Flaška, Václav; Kepka, Tomáš; Korteleinen, Juha On separating sets of words. V. (English) Zbl 1258.68107 Acta Univ. Carol., Math. Phys. 52, No. 2, 51-59 (2011). Reviewer: Zoltán Kása (Cluj-Napoca) MSC: 68R15 68Q42 PDF BibTeX XML Cite \textit{V. Flaška} et al., Acta Univ. Carol., Math. Phys. 52, No. 2, 51--59 (2011; Zbl 1258.68107) OpenURL
Pan, Tien-Tai; Lin, Shun-Shii The transitive closure and related algorithms of digraph on the reconfigurable architecture. (English) Zbl 1253.68026 Parallel Process. Lett. 21, No. 1, 27-44 (2011). MSC: 68M07 68R10 05C20 PDF BibTeX XML Cite \textit{T.-T. Pan} and \textit{S.-S. Lin}, Parallel Process. Lett. 21, No. 1, 27--44 (2011; Zbl 1253.68026) Full Text: DOI OpenURL
Girija, E. V. Baby; Pilakkat, Raji Minimal digraph associated with a topology. (English) Zbl 1242.05069 Adv. Appl. Discrete Math. 8, No. 1, 31-43 (2011). MSC: 05C10 54A05 PDF BibTeX XML Cite \textit{E. V. B. Girija} and \textit{R. Pilakkat}, Adv. Appl. Discrete Math. 8, No. 1, 31--43 (2011; Zbl 1242.05069) Full Text: Link OpenURL
Babitha, K. V.; Sunil, Jacob John Transitive closures and orderings on soft sets. (English) Zbl 1231.03041 Comput. Math. Appl. 62, No. 5, 2235-2239 (2011). MSC: 03E72 PDF BibTeX XML Cite \textit{K. V. Babitha} and \textit{J. J. Sunil}, Comput. Math. Appl. 62, No. 5, 2235--2239 (2011; Zbl 1231.03041) Full Text: DOI OpenURL
Mayor, G.; Recasens, J. Finite-valued indistinguishability operators. (English) Zbl 1234.03013 Int. J. Approx. Reasoning 52, No. 7, 1018-1033 (2011). MSC: 03B52 PDF BibTeX XML Cite \textit{G. Mayor} and \textit{J. Recasens}, Int. J. Approx. Reasoning 52, No. 7, 1018--1033 (2011; Zbl 1234.03013) Full Text: DOI OpenURL
Auger, David; Charon, Irène; Hudry, Olivier; Lobstein, Antoine On the sizes of graphs and their powers: the undirected case. (English) Zbl 1228.05247 Discrete Appl. Math. 159, No. 16, 1666-1675 (2011). MSC: 05C76 05C12 PDF BibTeX XML Cite \textit{D. Auger} et al., Discrete Appl. Math. 159, No. 16, 1666--1675 (2011; Zbl 1228.05247) Full Text: DOI OpenURL
Tan, Yi-Jia On generalized fuzzy matrices with periods. (English) Zbl 1227.15027 Fuzzy Sets Syst. 172, No. 1, 87-103 (2011). Reviewer: Józef Drewniak (Rzeszów) MSC: 15B15 15B33 16Y60 15A18 PDF BibTeX XML Cite \textit{Y.-J. Tan}, Fuzzy Sets Syst. 172, No. 1, 87--103 (2011; Zbl 1227.15027) Full Text: DOI OpenURL
Bollig, Beate Exponential space complexity for OBDD-based reachability analysis. (English) Zbl 1379.68147 Inf. Process. Lett. 110, No. 21, 924-927 (2010). MSC: 68Q17 68P05 68R10 PDF BibTeX XML Cite \textit{B. Bollig}, Inf. Process. Lett. 110, No. 21, 924--927 (2010; Zbl 1379.68147) Full Text: DOI OpenURL
Hofmann, Martin; Schöpp, Ulrich Pure pointer programs with iteration. (English) Zbl 1351.68101 ACM Trans. Comput. Log. 11, No. 4, Article No. 26, 23 p. (2010). MSC: 68Q05 68Q15 68Q65 68W05 PDF BibTeX XML Cite \textit{M. Hofmann} and \textit{U. Schöpp}, ACM Trans. Comput. Log. 11, No. 4, Article No. 26, 23 p. (2010; Zbl 1351.68101) Full Text: DOI Link OpenURL
Kashima, Ryo Completeness proof by semantic diagrams for transitive closure of accessibility relation. (English) Zbl 1254.03034 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 200-217 (2010). MSC: 03B45 PDF BibTeX XML Cite \textit{R. Kashima}, in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 200--217 (2010; Zbl 1254.03034) OpenURL
Deng, Guannan; Wang, Zhigao Transitive opening of fuzzy similarity relation. (Chinese. English summary) Zbl 1240.03028 J. Beijing Norm. Univ., Nat. Sci. 46, No. 2, 111-114 (2010). MSC: 03E72 62A86 62H30 68T05 PDF BibTeX XML Cite \textit{G. Deng} and \textit{Z. Wang}, J. Beijing Norm. Univ., Nat. Sci. 46, No. 2, 111--114 (2010; Zbl 1240.03028) OpenURL
Subbiah, S. P.; Swaminathan, V. Topological spaces associated with a directed semigraph. (English) Zbl 1220.05050 Tamizh Chelvam, T. (ed.) et al., Algebra, graph theory and their applications. New Delhi: Narosa Publishing House (ISBN 978-81-8487-069-5/hbk). 77-87 (2010). MSC: 05C20 05C10 54A99 PDF BibTeX XML Cite \textit{S. P. Subbiah} and \textit{V. Swaminathan}, in: Algebra, graph theory and their applications. New Delhi: Narosa Publishing House. 77--87 (2010; Zbl 1220.05050) OpenURL
Zhang, Lihong; Zhang, Yuping; Jiang, Yingtao; Shi, C.-J. Richard Symmetry-aware placement algorithm using transitive closure graph representation for analog integrated circuits. (English) Zbl 1210.94125 Int. J. Circuit Theory Appl. 38, No. 3, 221-241 (2010). MSC: 94C15 PDF BibTeX XML Cite \textit{L. Zhang} et al., Int. J. Circuit Theory Appl. 38, No. 3, 221--241 (2010; Zbl 1210.94125) Full Text: DOI OpenURL
Bielecki, Wlodzimierz; Klimek, Tomasz; Palkowski, Marek; Beletska, Anna An iterative algorithm of computing the transitive closure of a union of parameterized affine integer tuple relations. (English) Zbl 1310.68169 Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17457-5/pbk). Lecture Notes in Computer Science 6508, 104-113 (2010). MSC: 68R10 05C85 PDF BibTeX XML Cite \textit{W. Bielecki} et al., Lect. Notes Comput. Sci. 6508, 104--113 (2010; Zbl 1310.68169) Full Text: DOI OpenURL
Tan, Yi-Jia On nilpotency of generalized fuzzy matrices. (English) Zbl 1205.15046 Fuzzy Sets Syst. 161, No. 16, 2213-2226 (2010). Reviewer: Józef Drewniak (Rzeszów) MSC: 15B15 15B33 16Y60 PDF BibTeX XML Cite \textit{Y.-J. Tan}, Fuzzy Sets Syst. 161, No. 16, 2213--2226 (2010; Zbl 1205.15046) Full Text: DOI OpenURL
ten Cate, Balder; Segoufin, Luc Transitive closure logic, nested tree walking automata, and XPath. (English) Zbl 1327.03024 J. ACM 57, No. 3, Article No. 18, 41 p. (2010). MSC: 03B70 03D05 68P15 68Q17 PDF BibTeX XML Cite \textit{B. ten Cate} and \textit{L. Segoufin}, J. ACM 57, No. 3, Article No. 18, 41 p. (2010; Zbl 1327.03024) Full Text: DOI OpenURL
Liu, Guilong Closures and topological closures in quasi-discrete closure spaces. (English) Zbl 1193.54001 Appl. Math. Lett. 23, No. 7, 772-776 (2010). Reviewer: Bernhard Behrens (Göteborg) MSC: 54A05 54A10 PDF BibTeX XML Cite \textit{G. Liu}, Appl. Math. Lett. 23, No. 7, 772--776 (2010; Zbl 1193.54001) Full Text: DOI OpenURL
Oman, Greg On the axiom of union. (English) Zbl 1192.03028 Arch. Math. Logic 49, No. 3, 283-289 (2010). MSC: 03E30 03E35 03E55 PDF BibTeX XML Cite \textit{G. Oman}, Arch. Math. Logic 49, No. 3, 283--289 (2010; Zbl 1192.03028) Full Text: DOI OpenURL
Sankowski, Piotr; Mucha, Marcin Fast dynamic transitive closure with lookahead. (English) Zbl 1191.68855 Algorithmica 56, No. 2, 180-197 (2010). MSC: 68W20 PDF BibTeX XML Cite \textit{P. Sankowski} and \textit{M. Mucha}, Algorithmica 56, No. 2, 180--197 (2010; Zbl 1191.68855) Full Text: DOI OpenURL
Bollig, Beate Symbolic OBDD-based reachability analysis needs exponential space. (English) Zbl 1274.68087 van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 224-234 (2010). MSC: 68P05 68Q17 68Q25 68R10 PDF BibTeX XML Cite \textit{B. Bollig}, Lect. Notes Comput. Sci. 5901, 224--234 (2010; Zbl 1274.68087) Full Text: DOI OpenURL
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly Decidable fragments of many-sorted logic. (English) Zbl 1183.03007 J. Symb. Comput. 45, No. 2, 153-172 (2010). MSC: 03B25 68Q60 PDF BibTeX XML Cite \textit{A. Abadi} et al., J. Symb. Comput. 45, No. 2, 153--172 (2010; Zbl 1183.03007) Full Text: DOI Link OpenURL
Bielecki, W.; Klimek, T.; Trifunovic, K. Calculating exact transitive closure for a normalized affine integer tuple relation. (English) Zbl 1267.05071 Balakrishnan, R. (ed.) et al., International conference on graph theory and its applications. Papers from the conference, Coimbatore, India, December 11–13, 2008. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 33, 7-14 (2009). MSC: 05C10 PDF BibTeX XML Cite \textit{W. Bielecki} et al., Electron. Notes Discrete Math. 33, 7--14 (2009; Zbl 1267.05071) Full Text: DOI OpenURL
Guan, Mingyou; Tan, Yijia The transitive closure and the reduction of nilpotent matrices over an additively idempotent semiring. (Chinese. English summary) Zbl 1212.15039 J. Fuzhou Univ., Nat. Sci. 37, No. 2, 157-161 (2009). MSC: 15B33 16Y60 PDF BibTeX XML Cite \textit{M. Guan} and \textit{Y. Tan}, J. Fuzhou Univ., Nat. Sci. 37, No. 2, 157--161 (2009; Zbl 1212.15039) OpenURL
Kujala, Janne V.; Dzhafarov, Ehtibar N. A new definition of well-behaved discrimination functions. (English) Zbl 1182.91149 J. Math. Psychol. 53, No. 6, 593-599 (2009). MSC: 91E30 PDF BibTeX XML Cite \textit{J. V. Kujala} and \textit{E. N. Dzhafarov}, J. Math. Psychol. 53, No. 6, 593--599 (2009; Zbl 1182.91149) Full Text: DOI OpenURL
Beletska, Anna; Barthou, Denis; Bielecki, Wlodzimierz; Cohen, Albert Computing the transitive closure of a union of affine integer tuple relations. (English) Zbl 1246.05145 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. Third international conference, COCOA 2009, Huangshan, China, June 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02025-4/pbk). Lecture Notes in Computer Science 5573, 98-109 (2009). MSC: 05C85 68W30 PDF BibTeX XML Cite \textit{A. Beletska} et al., Lect. Notes Comput. Sci. 5573, 98--109 (2009; Zbl 1246.05145) Full Text: DOI HAL OpenURL