Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai On the Simon’s congruence neighborhood of languages. (English) Zbl 07766942 Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 168-181 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Kim} et al., Lect. Notes Comput. Sci. 13911, 168--181 (2023; Zbl 07766942) Full Text: DOI
Pasbani, H.; Haddadi, M. The fresh-graph of a nominal set. (English) Zbl 07759211 Discrete Math. Algorithms Appl. 15, No. 7, Article ID 2250161, 17 p. (2023). MSC: 68R10 20M30 08A30 PDFBibTeX XMLCite \textit{H. Pasbani} and \textit{M. Haddadi}, Discrete Math. Algorithms Appl. 15, No. 7, Article ID 2250161, 17 p. (2023; Zbl 07759211) Full Text: DOI
Anosova, Olga; Kurlin, Vitaliy Density functions of periodic sequences of continuous events. (English) Zbl 07753635 J. Math. Imaging Vis. 65, No. 5, 689-701 (2023). MSC: 68U05 51K05 51N20 51F30 51F20 PDFBibTeX XMLCite \textit{O. Anosova} and \textit{V. Kurlin}, J. Math. Imaging Vis. 65, No. 5, 689--701 (2023; Zbl 07753635) Full Text: DOI arXiv OA License
Fleischmann, Pamela; Haschke, Lukas; Höfer, Jonas; Huch, Annika; Mayrock, Annika; Nowotka, Dirk Nearly \(k\)-universal words – investigating a part of Simon’s congruence. (English) Zbl 07739133 Theor. Comput. Sci. 974, Article ID 114113, 19 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Fleischmann} et al., Theor. Comput. Sci. 974, Article ID 114113, 19 p. (2023; Zbl 07739133) Full Text: DOI
Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai On Simon’s congruence closure of a string. (English) Zbl 1520.68059 Theor. Comput. Sci. 972, Article ID 114078, 14 p. (2023). MSC: 68Q45 68W32 PDFBibTeX XMLCite \textit{S. Kim} et al., Theor. Comput. Sci. 972, Article ID 114078, 14 p. (2023; Zbl 1520.68059) Full Text: DOI
Kapur, Deepak Modularity and combination of associative commutative congruence closure algorithms enriched with semantic properties. (English) Zbl 07731908 Log. Methods Comput. Sci. 19, No. 1, Paper No. 19, 41 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Kapur}, Log. Methods Comput. Sci. 19, No. 1, Paper No. 19, 41 p. (2023; Zbl 07731908) Full Text: DOI arXiv
Petschick, Jan Moritz; Rajeev, Karthika On the Basilica operation. (English) Zbl 1511.20093 Groups Geom. Dyn. 17, No. 1, 331-384 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20E08 68Q70 20F10 PDFBibTeX XMLCite \textit{J. M. Petschick} and \textit{K. Rajeev}, Groups Geom. Dyn. 17, No. 1, 331--384 (2023; Zbl 1511.20093) Full Text: DOI arXiv
Widdowson, Daniel; Kurlin, Vitaliy Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants with no False Negatives and no False Positives. arXiv:2303.15385 Preprint, arXiv:2303.15385 [cs.CV] (2023). MSC: 51N20 51K05 51F20 51F30 68U05 BibTeX Cite \textit{D. Widdowson} and \textit{V. Kurlin}, ``Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants with no False Negatives and no False Positives'', Preprint, arXiv:2303.15385 [cs.CV] (2023) Full Text: arXiv OA License
Kurlin, Vitaliy Simplexwise Distance Distributions for finite spaces with metrics and measures. arXiv:2303.14161 Preprint, arXiv:2303.14161 [math.MG] (2023). MSC: 51N20 51K05 51F20 51F30 68U05 BibTeX Cite \textit{V. Kurlin}, ``Simplexwise Distance Distributions for finite spaces with metrics and measures'', Preprint, arXiv:2303.14161 [math.MG] (2023) Full Text: arXiv OA License
Kurlin, Vitaliy The strength of a simplex is the key to a continuous isometry classification of Euclidean clouds of unlabelled points. arXiv:2303.13486 Preprint, arXiv:2303.13486 [math.MG] (2023). MSC: 51N20 51K05 51F20 51F30 68U05 BibTeX Cite \textit{V. Kurlin}, ``The strength of a simplex is the key to a continuous isometry classification of Euclidean clouds of unlabelled points'', Preprint, arXiv:2303.13486 [math.MG] (2023) Full Text: arXiv OA License
Jansen, David N.; Liu, Xinxin Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof. (English) Zbl 1524.68218 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 358-370 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. N. Jansen} and \textit{X. Liu}, Lect. Notes Comput. Sci. 13560, 358--370 (2022; Zbl 1524.68218) Full Text: DOI
Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai On Simon’s congruence closure of a string. (English) Zbl 07643468 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 127-141 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Kim} et al., Lect. Notes Comput. Sci. 13439, 127--141 (2022; Zbl 07643468) Full Text: DOI
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa A weakened notion of congruence to reduce concept lattices. (English) Zbl 1509.68249 Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 139-145 (2022). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Stud. Comput. Intell. 955, 139--145 (2022; Zbl 1509.68249) Full Text: DOI
Baader, Franz; Kapur, Deepak Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols. (English) Zbl 07606341 J. Autom. Reasoning 66, No. 3, 301-329 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Baader} and \textit{D. Kapur}, J. Autom. Reasoning 66, No. 3, 301--329 (2022; Zbl 07606341) Full Text: DOI
Lomazova, Irina A.; Bashkin, Vladimir A.; Jančar, Petr Resource bisimilarity in Petri nets is decidable. (English) Zbl 07597932 Fundam. Inform. 186, No. 1-4, 175-194 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{I. A. Lomazova} et al., Fundam. Inform. 186, No. 1--4, 175--194 (2022; Zbl 07597932) Full Text: DOI arXiv
Hong, Letong The pop-stack-sorting operator on Tamari lattices. (English) Zbl 07540628 Adv. Appl. Math. 139, Article ID 102362, 13 p. (2022). MSC: 06A12 06B10 05A15 05A05 68R10 PDFBibTeX XMLCite \textit{L. Hong}, Adv. Appl. Math. 139, Article ID 102362, 13 p. (2022; Zbl 07540628) Full Text: DOI arXiv
Jiménez González, Jesús Arturo Coxeter invariants for non-negative unit forms of Dynkin type \(\mathbb{A}_r\). (English) Zbl 07527237 Fundam. Inform. 185, No. 3, 221-246 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{J. A. Jiménez González}, Fundam. Inform. 185, No. 3, 221--246 (2022; Zbl 07527237) Full Text: DOI arXiv
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa Impact of local congruences in variable selection from datasets. (English) Zbl 1516.68094 J. Comput. Appl. Math. 404, Article ID 113416, 14 p. (2022). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., J. Comput. Appl. Math. 404, Article ID 113416, 14 p. (2022; Zbl 1516.68094) Full Text: DOI
Simson, Daniel; Zając, Katarzyna Applications of mesh algorithms and self-dual mesh geometries of root Coxeter orbits to a Horn-Sergeichuk type problem. (English) Zbl 1478.05094 Linear Algebra Appl. 632, 79-152 (2022). MSC: 05C50 05C22 68R05 68W30 65F45 15B36 15A63 PDFBibTeX XMLCite \textit{D. Simson} and \textit{K. Zając}, Linear Algebra Appl. 632, 79--152 (2022; Zbl 1478.05094) Full Text: DOI
Bigatti, Anna Maria; Robbiano, Lorenzo Saturations of subalgebras, SAGBI bases, and U-invariants. (English) Zbl 1472.13044 J. Symb. Comput. 109, 259-282 (2022). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 08A30 13-04 14R20 68W30 PDFBibTeX XMLCite \textit{A. M. Bigatti} and \textit{L. Robbiano}, J. Symb. Comput. 109, 259--282 (2022; Zbl 1472.13044) Full Text: DOI arXiv
Ham, Lucy; Jackson, Marcel Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity. arXiv:2212.02653 Preprint, arXiv:2212.02653 [math.LO] (2022). MSC: 03C13 08B05 08B26 68Q15 68Q19 08A30 20M07 BibTeX Cite \textit{L. Ham} and \textit{M. Jackson}, ``Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity'', Preprint, arXiv:2212.02653 [math.LO] (2022) Full Text: arXiv OA License
Kapur, Deepak A modular associative commutative (AC) congruence closure algorithm. (English) Zbl 07700620 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 15, 21 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{D. Kapur}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 15, 21 p. (2021; Zbl 07700620) Full Text: DOI
Wang, Yongbing; Zhang, Lixia Algebraic properties of intuitionistic \(L\)-fuzzy multiset finite automata. (English) Zbl 1498.68143 Soft Comput. 25, No. 22, 13857-13867 (2021). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{Y. Wang} and \textit{L. Zhang}, Soft Comput. 25, No. 22, 13857--13867 (2021; Zbl 1498.68143) Full Text: DOI
Ikramov, Kh. D.; Nazari, A. M. A rational algorithm for checking the congruence of unitoid matrices. (Russian. English summary) Zbl 07617330 Sib. Zh. Vychisl. Mat. 24, No. 2, 167-177 (2021). MSC: 65-XX 68-XX PDFBibTeX XMLCite \textit{Kh. D. Ikramov} and \textit{A. M. Nazari}, Sib. Zh. Vychisl. Mat. 24, No. 2, 167--177 (2021; Zbl 07617330) Full Text: DOI MNR
Zhuk, Dmitriy Strong subalgebras and the constraint satisfaction problem. (English) Zbl 07536113 J. Mult.-Val. Log. Soft Comput. 36, No. 4-5, 455-504 (2021). MSC: 08A70 08A30 68Q25 PDFBibTeX XMLCite \textit{D. Zhuk}, J. Mult.-Val. Log. Soft Comput. 36, No. 4--5, 455--504 (2021; Zbl 07536113) Full Text: arXiv Link
Rahman, Saifur; Chowdhury, Maitrayee A note on digital sequence hypergraphs and 2-graph congruence arithmetic. (English) Zbl 1496.05118 South East Asian J. Math. Math. Sci. 17, No. 2, 319-336 (2021). MSC: 05C65 68R10 11A63 PDFBibTeX XMLCite \textit{S. Rahman} and \textit{M. Chowdhury}, South East Asian J. Math. Math. Sci. 17, No. 2, 319--336 (2021; Zbl 1496.05118) Full Text: Link
Lanese, Ivan; Phillips, Iain Forward-reverse observational equivalences in CCSK. (English) Zbl 1476.68097 Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 126-143 (2021). MSC: 68Q09 68Q85 PDFBibTeX XMLCite \textit{I. Lanese} and \textit{I. Phillips}, Lect. Notes Comput. Sci. 12805, 126--143 (2021; Zbl 1476.68097) Full Text: DOI Link
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa Reducing concept lattices by means of a weaker notion of congruence. (English) Zbl 1467.06007 Fuzzy Sets Syst. 418, 153-169 (2021). MSC: 06B23 06B10 68T30 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Fuzzy Sets Syst. 418, 153--169 (2021; Zbl 1467.06007) Full Text: DOI
Zhang, Jing; Ma, Jianmin F-C variable threshold concept lattices based on dependence spaces. (Chinese. English summary) Zbl 1474.68349 J. Shandong Univ., Nat. Sci. 56, No. 1, 68-74 (2021). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{J. Ma}, J. Shandong Univ., Nat. Sci. 56, No. 1, 68--74 (2021; Zbl 1474.68349) Full Text: DOI
Simson, Daniel A Coxeter spectral classification of positive edge-bipartite graphs. II: Dynkin type \(\mathbb{D}_n\). (English) Zbl 1459.05113 Linear Algebra Appl. 612, 223-272 (2021). MSC: 05C22 05C50 11E04 15A63 68R05 68W30 PDFBibTeX XMLCite \textit{D. Simson}, Linear Algebra Appl. 612, 223--272 (2021; Zbl 1459.05113) Full Text: DOI
Simson, Daniel; Zając, Katarzyna On mesh geometries of root Coxeter orbits and mesh algorithms for corank two edge-bipartite signed graphs. (English) Zbl 1460.05080 Linear Algebra Appl. 610, 698-765 (2021). Reviewer: V. Lokesha (Bangalore) MSC: 05C22 05C50 06A11 15A63 68R05 68W30 PDFBibTeX XMLCite \textit{D. Simson} and \textit{K. Zając}, Linear Algebra Appl. 610, 698--765 (2021; Zbl 1460.05080) Full Text: DOI
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa Impact of local congruences in attribute reduction. (English) Zbl 1512.68321 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 748-758 (2020). MSC: 68T30 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Commun. Comput. Inf. Sci. 1239, 748--758 (2020; Zbl 1512.68321) Full Text: DOI
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa On the hierarchy of equivalence classes provided by local congruences. (English) Zbl 1509.68250 Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 298-307 (2020). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Lect. Notes Comput. Sci. 12179, 298--307 (2020; Zbl 1509.68250) Full Text: DOI
Liu, Xinxin; Yu, Tingting Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Liu} and \textit{T. Yu}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020; Zbl 07559491) Full Text: DOI
Morawietz, Nils; Rehs, Carolin; Weller, Mathias A Timecop’s work is harder than you think. (English) Zbl 07559442 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 71, 14 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Morawietz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 71, 14 p. (2020; Zbl 07559442) Full Text: DOI
Hana, Ali Pacha; Naima, Hadj Said; Adda, Ali-Pacha Image encryption by using a specific adaptation of Lehmer’s algorithm. (English) Zbl 1482.94051 J. Discrete Math. Sci. Cryptography 23, No. 5, 949-971 (2020). MSC: 94A60 94A08 11B37 11B50 68P25 PDFBibTeX XMLCite \textit{A. P. Hana} et al., J. Discrete Math. Sci. Cryptography 23, No. 5, 949--971 (2020; Zbl 1482.94051) Full Text: DOI
Alirezazadeh, Saeid; Alibabaei, Khadijeh Weak separation problem for tree languages. (English) Zbl 1474.68197 Int. J. Found. Comput. Sci. 31, No. 5, 583-593 (2020). MSC: 68Q70 PDFBibTeX XMLCite \textit{S. Alirezazadeh} and \textit{K. Alibabaei}, Int. J. Found. Comput. Sci. 31, No. 5, 583--593 (2020; Zbl 1474.68197) Full Text: DOI
Detinko, Alla S.; Flannery, Dane Laurence; Hulpke, Alexander Jörg Algorithms for experimenting with Zariski dense subgroups. (English) Zbl 07330686 Exp. Math. 29, No. 3, 296-305 (2020). MSC: 20-08 20G15 20H25 68W30 20-04 PDFBibTeX XMLCite \textit{A. S. Detinko} et al., Exp. Math. 29, No. 3, 296--305 (2020; Zbl 07330686) Full Text: DOI arXiv
Borthelle, Peio; Hirschowitz, Tom; Lafont, Ambroise A cellular Howe theorem. (English) Zbl 07299475 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 273-286 (2020). MSC: 68-XX PDFBibTeX XMLCite \textit{P. Borthelle} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 273--286 (2020; Zbl 07299475) Full Text: DOI HAL
Tian, Chun; Sangiorgi, Davide Unique solutions of contractions, CCS, and their HOL formalisation. (English) Zbl 1496.68250 Inf. Comput. 275, Article ID 104606, 33 p. (2020). MSC: 68Q85 68V15 68V20 PDFBibTeX XMLCite \textit{C. Tian} and \textit{D. Sangiorgi}, Inf. Comput. 275, Article ID 104606, 33 p. (2020; Zbl 1496.68250) Full Text: DOI arXiv
Bodei, Chiara; Brodo, Linda; Bruni, Roberto The link-calculus for open multiparty interactions. (English) Zbl 1496.68218 Inf. Comput. 275, Article ID 104587, 38 p. (2020). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{C. Bodei} et al., Inf. Comput. 275, Article ID 104587, 38 p. (2020; Zbl 1496.68218) Full Text: DOI
Bibak, Khodakhast Deletion correcting codes meet the Littlewood-Offord problem. (English) Zbl 1480.94031 Des. Codes Cryptography 88, No. 11, 2387-2396 (2020). Reviewer: Nikolay Yankov (Shumen) MSC: 94B05 11T71 11D79 11L03 68P30 PDFBibTeX XMLCite \textit{K. Bibak}, Des. Codes Cryptography 88, No. 11, 2387--2396 (2020; Zbl 1480.94031) Full Text: DOI
Zając, Katarzyna On polynomial time inflation algorithm for loop-free non-negative edge-bipartite graphs. (English) Zbl 1442.05228 Discrete Appl. Math. 283, 28-43 (2020). MSC: 05C85 05C22 68Q25 PDFBibTeX XMLCite \textit{K. Zając}, Discrete Appl. Math. 283, 28--43 (2020; Zbl 1442.05228) Full Text: DOI
Ma, Jianmin; Zhang, Wenxiu; Qian, Yuhua Dependence space models to construct concept lattices. (English) Zbl 1445.68211 Int. J. Approx. Reasoning 123, 1-16 (2020). MSC: 68T30 PDFBibTeX XMLCite \textit{J. Ma} et al., Int. J. Approx. Reasoning 123, 1--16 (2020; Zbl 1445.68211) Full Text: DOI
Climent Vidal, J.; Llópez, E. Cosme Congruence-based proofs of the recognizability theorems for free many-sorted algebras. (English) Zbl 1515.08003 J. Log. Comput. 30, No. 2, 561-633 (2020). MSC: 08A68 08A70 08B20 68Q70 PDFBibTeX XMLCite \textit{J. Climent Vidal} and \textit{E. C. Llópez}, J. Log. Comput. 30, No. 2, 561--633 (2020; Zbl 1515.08003) Full Text: DOI arXiv
Valmari, Antti All congruences below stability-preserving fair testing or CFFD. (English) Zbl 1452.68128 Acta Inf. 57, No. 3-5, 353-383 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Valmari}, Acta Inf. 57, No. 3--5, 353--383 (2020; Zbl 1452.68128) Full Text: DOI
Stronkowski, Michał M. Deciding active structural completeness. (English) Zbl 1480.08007 Arch. Math. Logic 59, No. 1-2, 149-165 (2020). MSC: 08C15 03B60 68Q17 08B26 08B10 PDFBibTeX XMLCite \textit{M. M. Stronkowski}, Arch. Math. Logic 59, No. 1--2, 149--165 (2020; Zbl 1480.08007) Full Text: DOI
Castiglioni, Valentina; Tini, Simone Probabilistic divide & congruence: branching bisimilarity. (English) Zbl 1436.68209 Theor. Comput. Sci. 802, 147-196 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{V. Castiglioni} and \textit{S. Tini}, Theor. Comput. Sci. 802, 147--196 (2020; Zbl 1436.68209) Full Text: DOI
Rasouli, Saeed Rough ideals based on ideal determined varieties. (English) Zbl 1463.08015 Algebr. Struct. Appl. 6, No. 1, 1-21 (2019). MSC: 08A72 06B20 06B10 08A30 68T37 PDFBibTeX XMLCite \textit{S. Rasouli}, Algebr. Struct. Appl. 6, No. 1, 1--21 (2019; Zbl 1463.08015)
Liu, Zuhua; Guo, Yuqi; Leng, Jing The applications of solid codes to r-R and r-D languages. (English) Zbl 1436.20117 Soft Comput. 23, No. 21, 10709-10716 (2019). MSC: 20M35 20M05 68Q45 PDFBibTeX XMLCite \textit{Z. Liu} et al., Soft Comput. 23, No. 21, 10709--10716 (2019; Zbl 1436.20117) Full Text: DOI
Liu, Zuhua; Guo, Yuqi The concatenation of thin languages and \(r\)-disjunctive languages – several studies on combinatorial semigroups. I. (English) Zbl 1449.20064 J. Shandong Univ., Nat. Sci. 54, No. 6, 2-7 (2019). MSC: 20M35 68Q70 PDFBibTeX XMLCite \textit{Z. Liu} and \textit{Y. Guo}, J. Shandong Univ., Nat. Sci. 54, No. 6, 2--7 (2019; Zbl 1449.20064) Full Text: DOI
DeMeo, William; Freese, Ralph; Valeriote, Matthew Polynomial-time tests for difference terms in idempotent varieties. (English) Zbl 1468.08003 Int. J. Algebra Comput. 29, No. 6, 927-949 (2019). MSC: 08B05 08B10 08A05 08-08 68Q25 PDFBibTeX XMLCite \textit{W. DeMeo} et al., Int. J. Algebra Comput. 29, No. 6, 927--949 (2019; Zbl 1468.08003) Full Text: DOI arXiv
Brauner, Nadia; Crama, Yves; Delaporte, Etienne; Jost, Vincent; Libralesso, Luc Do balanced words have a short period? (English) Zbl 1434.68379 Theor. Comput. Sci. 793, 169-180 (2019). MSC: 68R15 PDFBibTeX XMLCite \textit{N. Brauner} et al., Theor. Comput. Sci. 793, 169--180 (2019; Zbl 1434.68379) Full Text: DOI HAL
Vidal, J. Climent; Llópez, E. Cosme Eilenberg theorems for many-sorted formations. (English) Zbl 1528.08006 Houston J. Math. 45, No. 2, 321-369 (2019). MSC: 08A68 08A70 68Q70 PDFBibTeX XMLCite \textit{J. C. Vidal} and \textit{E. C. Llópez}, Houston J. Math. 45, No. 2, 321--369 (2019; Zbl 1528.08006) Full Text: arXiv
Zhuk, Dmitriy The size of generating sets of powers. (English) Zbl 1492.68098 J. Comb. Theory, Ser. A 167, 91-103 (2019). MSC: 68R07 08A30 08A70 PDFBibTeX XMLCite \textit{D. Zhuk}, J. Comb. Theory, Ser. A 167, 91--103 (2019; Zbl 1492.68098) Full Text: DOI arXiv
Simson, Daniel Symbolic computation of strong Gram congruences for Cox-regular positive edge-bipartite graphs with loops. (English) Zbl 1411.05108 Linear Algebra Appl. 573, 90-143 (2019). MSC: 05C22 05C50 11E04 15A63 68R05 68W30 PDFBibTeX XMLCite \textit{D. Simson}, Linear Algebra Appl. 573, 90--143 (2019; Zbl 1411.05108) Full Text: DOI
Ghassemi, Fatemeh; Fokkink, Wan Reliable restricted process theory. (English) Zbl 1412.68151 Fundam. Inform. 165, No. 1, 1-41 (2019). MSC: 68Q85 68M12 68Q60 PDFBibTeX XMLCite \textit{F. Ghassemi} and \textit{W. Fokkink}, Fundam. Inform. 165, No. 1, 1--41 (2019; Zbl 1412.68151) Full Text: DOI arXiv
Kapur, Deepak Conditional congruence closure over uninterpreted and interpreted symbols. (English) Zbl 1417.68077 J. Syst. Sci. Complex. 32, No. 1, 317-355 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{D. Kapur}, J. Syst. Sci. Complex. 32, No. 1, 317--355 (2019; Zbl 1417.68077) Full Text: DOI
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes The subpower membership problem for finite algebras with cube terms. (English) Zbl 1515.08004 Log. Methods Comput. Sci. 15, No. 1, Paper No. 11, 48 p. (2019). MSC: 08A70 08A30 68Q25 PDFBibTeX XMLCite \textit{A. Bulatov} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 11, 48 p. (2019; Zbl 1515.08004) Full Text: arXiv
Biernacki, Dariusz; Lenglet, Sergueï; Polesiuk, Piotr Proving soundness of extensional normal-form bisimilarities. (English) Zbl 1525.68023 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 41-56 (2018). MSC: 68N30 03B40 68N18 PDFBibTeX XMLCite \textit{D. Biernacki} et al., Electron. Notes Theor. Comput. Sci. 336, 41--56 (2018; Zbl 1525.68023) Full Text: DOI
Idziak, Paweł M.; Krzaczkowski, Jacek Satisfiability in multi-valued circuits. (English) Zbl 1497.68358 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 550-558 (2018). MSC: 68R07 08B10 68Q06 68Q25 PDFBibTeX XMLCite \textit{P. M. Idziak} and \textit{J. Krzaczkowski}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 550--558 (2018; Zbl 1497.68358) Full Text: DOI arXiv
Viaud, Jean-François; Bertet, Karell; Missaoui, Rokia; Demko, Christophe Using congruence relations to extract knowledge from concept lattices. (English) Zbl 1398.68523 Discrete Appl. Math. 249, 135-150 (2018). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{J.-F. Viaud} et al., Discrete Appl. Math. 249, 135--150 (2018; Zbl 1398.68523) Full Text: DOI
Kompatscher, Michael The equation solvability problem over supernilpotent algebras with Mal’cev term. (English) Zbl 1454.08001 Int. J. Algebra Comput. 28, No. 6, 1005-1015 (2018). Reviewer: Jakub Bulín (Praha) MSC: 08A40 08A70 08B10 08A50 68Q17 PDFBibTeX XMLCite \textit{M. Kompatscher}, Int. J. Algebra Comput. 28, No. 6, 1005--1015 (2018; Zbl 1454.08001) Full Text: DOI
Simson, Daniel A Coxeter spectral classification of positive edge-bipartite graphs. I: Dynkin types \(\mathcal{B}_n\), \(\mathcal{C}_n\), \(\mathcal{F}_4\), \(\mathcal{G}_2\), \(\mathbb{E}_6\), \(\mathbb{E}_7\), \(\mathbb{E}_8\). (English) Zbl 1396.05049 Linear Algebra Appl. 557, 105-133 (2018). MSC: 05C22 05C50 11E04 15A63 68R05 68W30 PDFBibTeX XMLCite \textit{D. Simson}, Linear Algebra Appl. 557, 105--133 (2018; Zbl 1396.05049) Full Text: DOI
Ebrahimi, Mohammad M.; Keshvardoost, Khadijeh; Mahmoudi, Mojgan Retractions of cyclic finitely supported \(Cb\)-sets. (English) Zbl 1436.20116 Quasigroups Relat. Syst. 26, No. 1, 53-66 (2018). MSC: 20M30 08A30 18A20 20B30 20M50 68Q70 PDFBibTeX XMLCite \textit{M. M. Ebrahimi} et al., Quasigroups Relat. Syst. 26, No. 1, 53--66 (2018; Zbl 1436.20116)
Demey, Lorenz; Smessaert, Hans Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\). (English) Zbl 1448.68404 Ann. Math. Artif. Intell. 83, No. 2, 185-208 (2018). MSC: 68T30 03B05 03B45 51M20 52B10 PDFBibTeX XMLCite \textit{L. Demey} and \textit{H. Smessaert}, Ann. Math. Artif. Intell. 83, No. 2, 185--208 (2018; Zbl 1448.68404) Full Text: DOI
Bibak, Khodakhast; Kapron, Bruce M.; Srinivasan, Venkatesh Unweighted linear congruences with distinct coordinates and the Varshamov-Tenengolts codes. (English) Zbl 1411.11035 Des. Codes Cryptography 86, No. 9, 1893-1904 (2018). MSC: 11D79 11P83 42A16 68P30 94A60 PDFBibTeX XMLCite \textit{K. Bibak} et al., Des. Codes Cryptography 86, No. 9, 1893--1904 (2018; Zbl 1411.11035) Full Text: DOI arXiv
Fisman, Dana Inferring regular languages and \(\omega\)-languages. (English) Zbl 1394.68211 J. Log. Algebr. Methods Program. 98, 27-49 (2018). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{D. Fisman}, J. Log. Algebr. Methods Program. 98, 27--49 (2018; Zbl 1394.68211) Full Text: DOI
Huang, Xiaokun; Li, Qingguo; Guo, Lankun The TL-fuzzy rough approximation operators on a lattice. (English) Zbl 1381.68287 Soft Comput. 22, No. 1, 17-29 (2018). MSC: 68T37 06B10 PDFBibTeX XMLCite \textit{X. Huang} et al., Soft Comput. 22, No. 1, 17--29 (2018; Zbl 1381.68287) Full Text: DOI
Detinko, A.; Flannery, D. L.; Hulpke, A. Zariski density and computing in arithmetic groups. (English) Zbl 1432.20035 Math. Comput. 87, No. 310, 967-986 (2018). MSC: 20H05 20-08 68W40 PDFBibTeX XMLCite \textit{A. Detinko} et al., Math. Comput. 87, No. 310, 967--986 (2018; Zbl 1432.20035) Full Text: DOI arXiv Backlinks: MO
Bonchi, Filippo; König, Barbara; Küpper, Sebastian Up-to techniques for weighted systems. (English) Zbl 1452.68100 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017). MSC: 68Q45 68Q42 68Q70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 10205, 535--552 (2017; Zbl 1452.68100) Full Text: DOI arXiv
Fokkink, Wan; van Glabbeek, Rob J. Precongruence formats with lookahead through modal decomposition. (English) Zbl 1440.68168 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017). MSC: 68Q55 03B45 03B70 68Q60 PDFBibTeX XMLCite \textit{W. Fokkink} and \textit{R. J. van Glabbeek}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017; Zbl 1440.68168) Full Text: DOI
Demey, Lorenz; Smessaert, Hans Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation. (English) Zbl 1423.68489 Symmetry 9, No. 10, Paper No. 204, 22 p. (2017). MSC: 68T30 03G05 52B10 PDFBibTeX XMLCite \textit{L. Demey} and \textit{H. Smessaert}, Symmetry 9, No. 10, Paper No. 204, 22 p. (2017; Zbl 1423.68489) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Axioms for behavioural congruence of single-pass instruction sequences. (English) Zbl 1424.68027 Sci. Ann. Comput. Sci. 27, No. 2, 111-135 (2017). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Sci. Ann. Comput. Sci. 27, No. 2, 111--135 (2017; Zbl 1424.68027) Full Text: DOI arXiv
Bera, Susanta; Roy, Sankar Kumar Rough ideal and homomorphism and their applications to lattice. (English) Zbl 1398.06016 J. Fuzzy Math. 25, No. 4, 915-923 (2017). MSC: 06D72 06D75 06B10 68T37 PDFBibTeX XMLCite \textit{S. Bera} and \textit{S. K. Roy}, J. Fuzzy Math. 25, No. 4, 915--923 (2017; Zbl 1398.06016)
Xu, Hui; Tian, Jing Factor automata of monoid-matrix type automata. (Chinese. English summary) Zbl 1413.68069 J. Nanjing Norm. Univ., Nat. Sci. Ed. 40, No. 2, 39-42 (2017). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{H. Xu} and \textit{J. Tian}, J. Nanjing Norm. Univ., Nat. Sci. Ed. 40, No. 2, 39--42 (2017; Zbl 1413.68069) Full Text: DOI
Huang, Feidan; Xie, Zhengwei; Deng, Zexi; Yang, Jingkai Algebraic properties of uninitialized sequential quantum machines. (Chinese. English summary) Zbl 1399.68061 Chin. J. Eng. Math. 34, No. 3, 262-282 (2017). MSC: 68Q05 68Q12 68Q70 81P68 PDFBibTeX XMLCite \textit{F. Huang} et al., Chin. J. Eng. Math. 34, No. 3, 262--282 (2017; Zbl 1399.68061) Full Text: DOI
Mavoungou, Jean-Paul Extensional quotient coalgebras. (English) Zbl 1390.68482 Acta Univ. Sapientiae, Math. 9, No. 2, 303-323 (2017). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{J.-P. Mavoungou}, Acta Univ. Sapientiae, Math. 9, No. 2, 303--323 (2017; Zbl 1390.68482) Full Text: DOI
Yon, Juyoung; Cheng, Siu-Wing; Cheong, Otfried; Vigneron, Antoine Finding largest common point sets. (English) Zbl 1423.68560 Int. J. Comput. Geom. Appl. 27, No. 3, 177-185 (2017). MSC: 68U05 52B55 68P05 68W40 PDFBibTeX XMLCite \textit{J. Yon} et al., Int. J. Comput. Geom. Appl. 27, No. 3, 177--185 (2017; Zbl 1423.68560) Full Text: DOI
Fellner, Andreas; Fontaine, Pascal; Paleo, Bruno Woltzenlogel NP-completeness of small conflict set generation for congruence closure. (English) Zbl 1377.68090 Form. Methods Syst. Des. 51, No. 3, 533-544 (2017). MSC: 68Q17 03B70 68Q25 PDFBibTeX XMLCite \textit{A. Fellner} et al., Form. Methods Syst. Des. 51, No. 3, 533--544 (2017; Zbl 1377.68090) Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. (English) Zbl 1380.68295 Inf. Comput. 257, 79-113 (2017). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{W. Fokkink} and \textit{R. van Glabbeek}, Inf. Comput. 257, 79--113 (2017; Zbl 1380.68295) Full Text: DOI arXiv
Ponce, Jean; Sturmfels, Bernd; Trager, Mathew Congruences and concurrent lines in multi-view geometry. (English) Zbl 1367.14022 Adv. Appl. Math. 88, 62-91 (2017). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 14Q15 51N15 65D18 68W30 PDFBibTeX XMLCite \textit{J. Ponce} et al., Adv. Appl. Math. 88, 62--91 (2017; Zbl 1367.14022) Full Text: DOI arXiv
Shi, Haizhong; Shi, Yue Random graph languages. (English) Zbl 1370.68192 Discrete Math. Algorithms Appl. 9, No. 2, Article ID 1750020, 11 p. (2017). MSC: 68Q45 05C80 PDFBibTeX XMLCite \textit{H. Shi} and \textit{Y. Shi}, Discrete Math. Algorithms Appl. 9, No. 2, Article ID 1750020, 11 p. (2017; Zbl 1370.68192) Full Text: DOI
Gul, Funda; Weiß, Armin On the dimension of matrix embeddings of torsion-free nilpotent groups. (English) Zbl 1455.20024 J. Algebra 477, 516-539 (2017). MSC: 20F18 20H05 68Q25 PDFBibTeX XMLCite \textit{F. Gul} and \textit{A. Weiß}, J. Algebra 477, 516--539 (2017; Zbl 1455.20024) Full Text: DOI arXiv
Aubert, Clément; Cristescu, Ioana Contextual equivalences in configuration structures and reversibility. (English) Zbl 1353.68193 J. Log. Algebr. Methods Program. 86, No. 1, 77-106 (2017). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{C. Aubert} and \textit{I. Cristescu}, J. Log. Algebr. Methods Program. 86, No. 1, 77--106 (2017; Zbl 1353.68193) Full Text: DOI arXiv
Kompatscher, Michael The equation solvability problem over nilpotent Mal’cev algebras. arXiv:1710.03083 Preprint, arXiv:1710.03083 [math.RA] (2017). MSC: 08A70 08B10 08A50 68Q17 BibTeX Cite \textit{M. Kompatscher}, ``The equation solvability problem over nilpotent Mal'cev algebras'', Preprint, arXiv:1710.03083 [math.RA] (2017) Full Text: arXiv OA License
Cardin, Marta Benchmarking over distributive lattices. (English) Zbl 1452.68201 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 117-125 (2016). MSC: 68T37 06A06 06D05 28E10 PDFBibTeX XMLCite \textit{M. Cardin}, Commun. Comput. Inf. Sci. 610, 117--125 (2016; Zbl 1452.68201) Full Text: DOI
Devadoss, Satyan; Epstein, Ziv; Smirnov, Dmitriy Visualizing scissors congruence. (English) Zbl 1387.68253 Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 66, 3 p. (2016). MSC: 68U05 51-04 PDFBibTeX XMLCite \textit{S. Devadoss} et al., LIPIcs -- Leibniz Int. Proc. Inform. 51, Article 66, 3 p. (2016; Zbl 1387.68253) Full Text: DOI
Kim, Heuna; Rote, Günter Congruence testing of point sets in 4-space. (English) Zbl 1387.68264 Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 48, 16 p. (2016). MSC: 68U05 68Q25 PDFBibTeX XMLCite \textit{H. Kim} and \textit{G. Rote}, LIPIcs -- Leibniz Int. Proc. Inform. 51, Article 48, 16 p. (2016; Zbl 1387.68264) Full Text: DOI
Gburek, Daniel; Baier, Christel; Klüppelholz, Sascha Composition of stochastic transition systems based on spans and couplings. (English) Zbl 1388.68196 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 102, 15 p. (2016). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{D. Gburek} et al., LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 102, 15 p. (2016; Zbl 1388.68196) Full Text: DOI
Doberkat, Ernst-Erich Bisimulation cuts for structuring Markov transition systems. (English) Zbl 1374.68324 Fundam. Inform. 149, No. 4, 363-383 (2016). MSC: 68Q85 03E15 06A15 08A30 08A70 68Q87 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, Fundam. Inform. 149, No. 4, 363--383 (2016; Zbl 1374.68324) Full Text: DOI
Hu, Zhonggang On some properties of cyclic intuitionistic fuzzy finite state machines. (Chinese. English summary) Zbl 1389.68059 Fuzzy Syst. Math. 30, No. 5, 27-32 (2016). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{Z. Hu}, Fuzzy Syst. Math. 30, No. 5, 27--32 (2016; Zbl 1389.68059)
Simson, Daniel Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. (English) Zbl 1371.05116 Fundam. Inform. 145, No. 1, 49-80 (2016). MSC: 05C22 05C50 05C85 68W30 PDFBibTeX XMLCite \textit{D. Simson}, Fundam. Inform. 145, No. 1, 49--80 (2016; Zbl 1371.05116) Full Text: DOI
Simson, Daniel Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. (English) Zbl 1371.05115 Fundam. Inform. 145, No. 1, 19-48 (2016). MSC: 05C22 05C50 05C85 68W30 PDFBibTeX XMLCite \textit{D. Simson}, Fundam. Inform. 145, No. 1, 19--48 (2016; Zbl 1371.05115) Full Text: DOI
Alirezazadeh, Saeid On pseudovarieties of forest algebras. (English) Zbl 1373.68290 Int. J. Found. Comput. Sci. 27, No. 8, 909-941 (2016). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{S. Alirezazadeh}, Int. J. Found. Comput. Sci. 27, No. 8, 909--941 (2016; Zbl 1373.68290) Full Text: DOI
Karthikeyan, V.; Rajasekar, M. Least directing congruence on fuzzy automata. (English) Zbl 1375.68082 Ann. Fuzzy Math. Inform. 12, No. 6, 767-780 (2016). MSC: 68Q70 PDFBibTeX XMLCite \textit{V. Karthikeyan} and \textit{M. Rajasekar}, Ann. Fuzzy Math. Inform. 12, No. 6, 767--780 (2016; Zbl 1375.68082) Full Text: Link
Sun, Xiang; Jiang, Caigui; Wallner, Johannes; Pottmann, Helmut Vertex normals and face curvatures of triangle meshes. (English) Zbl 1356.53015 Bobenko, Alexander I. (ed.), Advances in discrete differential geometry. Berlin: Springer (ISBN 978-3-662-50446-8/hbk; 978-3-662-50447-5/ebook). 267-286 (2016). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 53A25 53A05 52B70 68U05 PDFBibTeX XMLCite \textit{X. Sun} et al., in: Advances in discrete differential geometry. Berlin: Springer. 267--286 (2016; Zbl 1356.53015) Full Text: DOI
Rot, Jurriaan; Bonsangue, Marcello Structural congruence for bialgebraic semantics. (English) Zbl 1353.68173 J. Log. Algebr. Methods Program. 85, No. 6, 1268-1291 (2016). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. Rot} and \textit{M. Bonsangue}, J. Log. Algebr. Methods Program. 85, No. 6, 1268--1291 (2016; Zbl 1353.68173) Full Text: DOI
Slepovichev, Ivan Ivanovich Algebraic properties of abstract neural network. (English) Zbl 1347.68293 Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 16, No. 1, 96-103 (2016). MSC: 68T05 PDFBibTeX XMLCite \textit{I. I. Slepovichev}, Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 16, No. 1, 96--103 (2016; Zbl 1347.68293) Full Text: DOI
Barto, Libor; Kazda, Alexandr Deciding absorption. (English) Zbl 1352.08006 Int. J. Algebra Comput. 26, No. 5, 1033-1060 (2016). MSC: 08A70 08B10 68Q17 68Q25 PDFBibTeX XMLCite \textit{L. Barto} and \textit{A. Kazda}, Int. J. Algebra Comput. 26, No. 5, 1033--1060 (2016; Zbl 1352.08006) Full Text: DOI arXiv