Shintani, Kiraku; Hirokawa, Nao Compositional confluence criteria. (English) Zbl 07814914 Log. Methods Comput. Sci. 20, No. 1, Paper No. 6, 28 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Shintani} and \textit{N. Hirokawa}, Log. Methods Comput. Sci. 20, No. 1, Paper No. 6, 28 p. (2024; Zbl 07814914) Full Text: arXiv
Kozlov, Roman A. On universal conformal envelopes for quadratic Lie conformal algebras. (English) Zbl 07808420 Commun. Algebra 52, No. 2, 733-746 (2024). MSC: 17B35 17B63 17B69 PDFBibTeX XMLCite \textit{R. A. Kozlov}, Commun. Algebra 52, No. 2, 733--746 (2024; Zbl 07808420) Full Text: DOI arXiv
Bell, Paul C.; Hirvensalo, Mika; Potapov, Igor The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is NP-complete. (English) Zbl 07790926 Inf. Comput. 296, Article ID 105132, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. C. Bell} et al., Inf. Comput. 296, Article ID 105132, 27 p. (2024; Zbl 07790926) Full Text: DOI
Manili, Julien Order independence for rationalizability. (English) Zbl 07787045 Games Econ. Behav. 143, 152-160 (2024). MSC: 91A20 PDFBibTeX XMLCite \textit{J. Manili}, Games Econ. Behav. 143, 152--160 (2024; Zbl 07787045) Full Text: DOI
Oliveira, Luís Regular semigroups weakly generated by one element. (English) Zbl 07785490 Semigroup Forum 107, No. 2, 525-563 (2023). MSC: 20M17 20M05 PDFBibTeX XMLCite \textit{L. Oliveira}, Semigroup Forum 107, No. 2, 525--563 (2023; Zbl 07785490) Full Text: DOI arXiv OA License
Paris, Luis; Soergel, Mireille Word problem and parabolic subgroups in Dyer groups. (English) Zbl 07779854 Bull. Lond. Math. Soc. 55, No. 6, 2928-2947 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F55 20F36 20F10 PDFBibTeX XMLCite \textit{L. Paris} and \textit{M. Soergel}, Bull. Lond. Math. Soc. 55, No. 6, 2928--2947 (2023; Zbl 07779854) Full Text: DOI arXiv OA License
Bar-Natan, Dror; Dancso, Zsuzsanna; van der Veen, Roland Over then under tangles. (English) Zbl 07745276 J. Knot Theory Ramifications 32, No. 8, Article ID 2340003, 40 p. (2023). MSC: 57K12 20F36 20F38 PDFBibTeX XMLCite \textit{D. Bar-Natan} et al., J. Knot Theory Ramifications 32, No. 8, Article ID 2340003, 40 p. (2023; Zbl 07745276) Full Text: DOI arXiv
Malbos, Philippe; Ren, Isaac Shuffle polygraphic resolutions for operads. (English) Zbl 1519.18015 J. Lond. Math. Soc., II. Ser. 107, No. 1, 61-122 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M70 18N30 68Q42 PDFBibTeX XMLCite \textit{P. Malbos} and \textit{I. Ren}, J. Lond. Math. Soc., II. Ser. 107, No. 1, 61--122 (2023; Zbl 1519.18015) Full Text: DOI arXiv
Oliveira, Luís Regular semigroups weakly generated by idempotents. (English) Zbl 1520.20120 Int. J. Algebra Comput. 33, No. 5, 851-891 (2023). MSC: 20M17 20M05 20M10 PDFBibTeX XMLCite \textit{L. Oliveira}, Int. J. Algebra Comput. 33, No. 5, 851--891 (2023; Zbl 1520.20120) Full Text: DOI arXiv
Gao, Yibo; Hodges, Reuven; Yong, Alexander Classification of Levi-spherical Schubert varieties. (English) Zbl 1521.14090 Sel. Math., New Ser. 29, No. 4, Paper No. 55, 40 p. (2023). MSC: 14M27 05E10 05E14 PDFBibTeX XMLCite \textit{Y. Gao} et al., Sel. Math., New Ser. 29, No. 4, Paper No. 55, 40 p. (2023; Zbl 1521.14090) Full Text: DOI arXiv
Abrams, Gene; Hazrat, Roozbeh Connections between abelian sandpile models and the \(K\)-theory of weighted Leavitt path algebras. (English) Zbl 07676008 Eur. J. Math. 9, No. 2, Paper No. 21, 28 p. (2023). MSC: 16S88 05C57 PDFBibTeX XMLCite \textit{G. Abrams} and \textit{R. Hazrat}, Eur. J. Math. 9, No. 2, Paper No. 21, 28 p. (2023; Zbl 07676008) Full Text: DOI arXiv
Curien, Pierre-Louis; Đurić, Alen; Guiraud, Yves Coherent presentations of monoids with a right-Noetherian Garside family. (English) Zbl 1521.20121 J. Homotopy Relat. Struct. 18, No. 1, 115-152 (2023). MSC: 20M05 18B40 18N30 20F36 68Q42 PDFBibTeX XMLCite \textit{P.-L. Curien} et al., J. Homotopy Relat. Struct. 18, No. 1, 115--152 (2023; Zbl 1521.20121) Full Text: DOI arXiv
Nyberg-Brodda, Carl-Fredrik Non-finitely generated maximal subgroups of context-free monoids. (English) Zbl 1521.20122 J. Algebra 616, 227-238 (2023). MSC: 20M05 20F10 20F05 68Q42 68Q45 PDFBibTeX XMLCite \textit{C.-F. Nyberg-Brodda}, J. Algebra 616, 227--238 (2023; Zbl 1521.20122) Full Text: DOI arXiv
Baik, Hyungryul; Seo, Donggyun; Shin, Hyunshik On the finiteness property of hyperbolic simplicial actions: the right-angled Artin groups and their extension graphs. (English) Zbl 07621815 Geom. Dedicata 217, No. 1, Paper No. 7, 29 p. (2023). MSC: 57M60 57M15 20F69 PDFBibTeX XMLCite \textit{H. Baik} et al., Geom. Dedicata 217, No. 1, Paper No. 7, 29 p. (2023; Zbl 07621815) Full Text: DOI arXiv
Gao, Yibo; Hodges, Reuven; Yong, Alexander Classifying Levi-spherical Schubert varieties. (English) Zbl 1522.14063 Sémin. Lothar. Comb. 86B, Article 29, 12 p. (2022). Reviewer: Richárd Rimányi (Chapel Hill) MSC: 14M15 05E14 14M27 PDFBibTeX XMLCite \textit{Y. Gao} et al., Sémin. Lothar. Comb. 86B, Article 29, 12 p. (2022; Zbl 1522.14063) Full Text: Link
Kraus, Nicolai; von Raumer, Jakob A rewriting coherence theorem with applications in homotopy type theory. (English) Zbl 1509.03052 Math. Struct. Comput. Sci. 32, No. 7, 982-1014 (2022). MSC: 03B38 55U35 68Q42 PDFBibTeX XMLCite \textit{N. Kraus} and \textit{J. von Raumer}, Math. Struct. Comput. Sci. 32, No. 7, 982--1014 (2022; Zbl 1509.03052) Full Text: DOI arXiv
Faggian, Claudia; Guerrieri, Giulio; de’ Liguoro, Ugo; Treglia, Riccardo On reduction and normalization in the computational core. (English) Zbl 1512.68129 Math. Struct. Comput. Sci. 32, No. 7, 934-981 (2022). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Faggian} et al., Math. Struct. Comput. Sci. 32, No. 7, 934--981 (2022; Zbl 1512.68129) Full Text: DOI arXiv
Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg Algebraic coherent confluence and higher globular Kleene algebras. (English) Zbl 1508.18018 Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N30 03B70 68Q42 PDFBibTeX XMLCite \textit{C. Calk} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022; Zbl 1508.18018) Full Text: DOI arXiv
Claesson, Anders From Hertzsprung’s problem to pattern-rewriting systems. (English) Zbl 1504.05008 Algebr. Comb. 5, No. 6, 1257-1277 (2022). MSC: 05A05 05A15 68R05 68R15 68Q42 PDFBibTeX XMLCite \textit{A. Claesson}, Algebr. Comb. 5, No. 6, 1257--1277 (2022; Zbl 1504.05008) Full Text: DOI arXiv
Faggian, Claudia Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms. (English) Zbl 07566061 Log. Methods Comput. Sci. 18, No. 2, Paper No. 5, 37 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Faggian}, Log. Methods Comput. Sci. 18, No. 2, Paper No. 5, 37 p. (2022; Zbl 07566061) Full Text: arXiv Link
Aroca, Julio; Cumplido, María A new family of infinitely braided Thompson’s groups. (English) Zbl 1511.20146 J. Algebra 607, Part B, 5-34 (2022). MSC: 20F65 20F05 20F36 PDFBibTeX XMLCite \textit{J. Aroca} and \textit{M. Cumplido}, J. Algebra 607, 5--34 (2022; Zbl 1511.20146) Full Text: DOI arXiv
Kolesnikov, P. S.; Kozlov, R. A. Standard bases for the universal associative conformal envelopes of Kac-Moody conformal algebras. (English) Zbl 1510.17010 Algebr. Represent. Theory 25, No. 4, 847-867 (2022). Reviewer: Chia Zargeh (São Paulo) MSC: 17A61 17B35 17B69 PDFBibTeX XMLCite \textit{P. S. Kolesnikov} and \textit{R. A. Kozlov}, Algebr. Represent. Theory 25, No. 4, 847--867 (2022; Zbl 1510.17010) Full Text: DOI arXiv
Dupont, Benjamin; Malbos, Philippe Coherent confluence modulo relations and double groupoids. (English) Zbl 1492.18009 J. Pure Appl. Algebra 226, No. 10, Article ID 107037, 57 p. (2022). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18D20 68Q42 18N10 PDFBibTeX XMLCite \textit{B. Dupont} and \textit{P. Malbos}, J. Pure Appl. Algebra 226, No. 10, Article ID 107037, 57 p. (2022; Zbl 1492.18009) Full Text: DOI arXiv
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 1515.03115 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03B47 03B40 03F05 03F07 68Q42 PDFBibTeX XMLCite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 1515.03115) Full Text: DOI arXiv
Dupont, Benjamin Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories. (English) Zbl 1491.18001 J. Algebra 601, 1-53 (2022). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A05 17B10 68Q42 PDFBibTeX XMLCite \textit{B. Dupont}, J. Algebra 601, 1--53 (2022; Zbl 1491.18001) Full Text: DOI arXiv
Klivans, Caroline; Liscio, Patrick Confluence in labeled chip-firing. (English) Zbl 1479.05226 J. Comb. Theory, Ser. A 186, Article ID 105542, 27 p. (2022). MSC: 05C57 05C82 91A43 PDFBibTeX XMLCite \textit{C. Klivans} and \textit{P. Liscio}, J. Comb. Theory, Ser. A 186, Article ID 105542, 27 p. (2022; Zbl 1479.05226) Full Text: DOI arXiv
Rubin, Jonathan Combinatorial \(N_\infty\) operads. (English) Zbl 1482.55011 Algebr. Geom. Topol. 21, No. 7, 3513-3568 (2021). Reviewer: Marja Kankaanrinta (Helsinki) MSC: 55P48 55P91 PDFBibTeX XMLCite \textit{J. Rubin}, Algebr. Geom. Topol. 21, No. 7, 3513--3568 (2021; Zbl 1482.55011) Full Text: DOI arXiv
Chenavier, Cyrille; Cordero, Christophe; Giraudo, Samuele Quotients of the magmatic operad: lattice structures and convergent rewrite systems. (English) Zbl 1480.18018 Exp. Math. 30, No. 4, 513-530 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18M65 05C05 68Q42 55P48 PDFBibTeX XMLCite \textit{C. Chenavier} et al., Exp. Math. 30, No. 4, 513--530 (2021; Zbl 1480.18018) Full Text: DOI arXiv
Aroca, Julio The conjugacy problem for symmetric Thompson-like groups. (English) Zbl 07436536 Isr. J. Math. 244, No. 1, 49-73 (2021). MSC: 20Fxx 20Exx 46Lxx PDFBibTeX XMLCite \textit{J. Aroca}, Isr. J. Math. 244, No. 1, 49--73 (2021; Zbl 07436536) Full Text: DOI arXiv
Oliveira, Luís A combinatorial approach to the structure of locally inverse semigroups. (English) Zbl 1527.20088 Semigroup Forum 103, No. 2, 575-621 (2021). Reviewer: Peter R. Jones (Milwaukee) MSC: 20M17 20M18 20M10 PDFBibTeX XMLCite \textit{L. Oliveira}, Semigroup Forum 103, No. 2, 575--621 (2021; Zbl 1527.20088) Full Text: DOI arXiv
Nyberg-Brodda, Carl-Fredrik The word problem for one-relation monoids: a survey. (English) Zbl 1508.20068 Semigroup Forum 103, No. 2, 297-355 (2021); correction ibid. 105, No. 3, 834-838 (2022). MSC: 20M05 20F10 20F05 20M18 20F36 PDFBibTeX XMLCite \textit{C.-F. Nyberg-Brodda}, Semigroup Forum 103, No. 2, 297--355 (2021; Zbl 1508.20068) Full Text: DOI arXiv
Campbell, Graham; Plump, Detlef Confluence up to garbage in graph transformation. (English) Zbl 1517.68156 Theor. Comput. Sci. 884, 1-22 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Campbell} and \textit{D. Plump}, Theor. Comput. Sci. 884, 1--22 (2021; Zbl 1517.68156) Full Text: DOI arXiv
Gao, Yibo Principal specializations of Schubert polynomials and pattern containment. (English) Zbl 1462.05358 Eur. J. Comb. 94, Article ID 103291, 12 p. (2021). MSC: 05E14 14N15 PDFBibTeX XMLCite \textit{Y. Gao}, Eur. J. Comb. 94, Article ID 103291, 12 p. (2021; Zbl 1462.05358) Full Text: DOI arXiv
Dupont, Benjamin Rewriting modulo isotopies in Khovanov-Lauda-Rouquier’s categorification of quantum groups. (English) Zbl 1457.18022 Adv. Math. 378, Article ID 107524, 76 p. (2021). Reviewer: Laurent Poinsot (Villetaneuse) MSC: 18N10 68Q42 17B37 16T20 PDFBibTeX XMLCite \textit{B. Dupont}, Adv. Math. 378, Article ID 107524, 76 p. (2021; Zbl 1457.18022) Full Text: DOI arXiv
Felzenszwalb, Pedro; Klivans, Caroline Flow-firing processes. (English) Zbl 1448.05094 J. Comb. Theory, Ser. A 177, Article ID 105308, 18 p. (2021). MSC: 05C21 05E45 PDFBibTeX XMLCite \textit{P. Felzenszwalb} and \textit{C. Klivans}, J. Comb. Theory, Ser. A 177, Article ID 105308, 18 p. (2021; Zbl 1448.05094) Full Text: DOI arXiv
González D’León, Rafael S.; Hallam, Joshua The Whitney duals of a graded poset. (English) Zbl 1448.05225 J. Comb. Theory, Ser. A 177, Article ID 105301, 41 p. (2021). MSC: 05E18 05E05 05C78 06A07 20C08 PDFBibTeX XMLCite \textit{R. S. González D'León} and \textit{J. Hallam}, J. Comb. Theory, Ser. A 177, Article ID 105301, 41 p. (2021; Zbl 1448.05225) Full Text: DOI arXiv
Aragona, R.; D’Andrea, A. Normal form in Hecke-Kiselman monoids associated with simple oriented graphs. (English) Zbl 1494.20081 Algebra Discrete Math. 30, No. 2, 161-171 (2020). MSC: 20M05 20M10 05C25 PDFBibTeX XMLCite \textit{R. Aragona} and \textit{A. D'Andrea}, Algebra Discrete Math. 30, No. 2, 161--171 (2020; Zbl 1494.20081) Full Text: DOI arXiv
Gatto, Letterio; Rowen, Louis Grassmann semialgebras and the Cayley-Hamilton theorem. (English) Zbl 1468.16057 Proc. Am. Math. Soc., Ser. B 7, 183-201 (2020). Reviewer: Mohammad Reza Rahmati (León) MSC: 16Y60 12K10 14T10 15A75 PDFBibTeX XMLCite \textit{L. Gatto} and \textit{L. Rowen}, Proc. Am. Math. Soc., Ser. B 7, 183--201 (2020; Zbl 1468.16057) Full Text: DOI arXiv
Weber, Matthias An extended type system with lambda-typed lambda-expressions. (English) Zbl 1516.03007 Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Weber}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020; Zbl 1516.03007) Full Text: arXiv Link
Luo, Xiao; Qian, Xuewen; Qu, Chen Iterated elimination procedures. (English) Zbl 1450.91002 Econ. Theory 70, No. 2, 437-465 (2020). MSC: 91A05 91A10 PDFBibTeX XMLCite \textit{X. Luo} et al., Econ. Theory 70, No. 2, 437--465 (2020; Zbl 1450.91002) Full Text: DOI Link
Endrullis, Jörg; Klop, Jan Willem; Overbeek, Roy Decreasing diagrams for confluence and commutation. (English) Zbl 1528.68158 Log. Methods Comput. Sci. 16, No. 1, Paper No. 23, 25 p. (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Endrullis} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 23, 25 p. (2020; Zbl 1528.68158) Full Text: arXiv Link
Matveev, S. V. An example of the decomposition non-uniqueness for a 3-dimensional geometric object. (Russian. English summary) Zbl 1479.57039 Chelyabinskiĭ Fiz.-Mat. Zh. 4, No. 3, 265-275 (2019). MSC: 57K30 57K10 57M15 PDFBibTeX XMLCite \textit{S. V. Matveev}, Chelyabinskiĭ Fiz.-Mat. Zh. 4, No. 3, 265--275 (2019; Zbl 1479.57039) Full Text: DOI MNR
Pous, Damien; Sangiorgi, Davide Bisimulation and coinduction enhancements: a historical perspective. (English) Zbl 1427.68010 Formal Asp. Comput. 31, No. 6, 733-749 (2019). MSC: 68-03 68Qxx PDFBibTeX XMLCite \textit{D. Pous} and \textit{D. Sangiorgi}, Formal Asp. Comput. 31, No. 6, 733--749 (2019; Zbl 1427.68010) Full Text: DOI Link
Guiraud, Yves; Hoffbeck, Eric; Malbos, Philippe Convergent presentations and polygraphic resolutions of associative algebras. (English) Zbl 1423.16008 Math. Z. 293, No. 1-2, 113-179 (2019). MSC: 16E05 18G10 16Z05 18D05 16S37 68Q42 PDFBibTeX XMLCite \textit{Y. Guiraud} et al., Math. Z. 293, No. 1--2, 113--179 (2019; Zbl 1423.16008) Full Text: DOI arXiv
Brogi, Antonio; Corradini, Andrea; Soldani, Jacopo Estimating costs of multi-component enterprise applications. (English) Zbl 1425.68306 Formal Asp. Comput. 31, No. 4, 421-451 (2019). MSC: 68R10 91B32 PDFBibTeX XMLCite \textit{A. Brogi} et al., Formal Asp. Comput. 31, No. 4, 421--451 (2019; Zbl 1425.68306) Full Text: DOI
Chen, Yuqun; Zhang, Guangliang Gröbner-Shirshov bases for commutative dialgebras. (English) Zbl 1471.17013 Commun. Algebra 47, No. 4, 1671-1689 (2019). MSC: 17A61 16S15 13P10 08A50 PDFBibTeX XMLCite \textit{Y. Chen} and \textit{G. Zhang}, Commun. Algebra 47, No. 4, 1671--1689 (2019; Zbl 1471.17013) Full Text: DOI arXiv
Dehornoy, Patrick; Tesson, Emilie Garside combinatorics for Thompson’s monoid \(F^+\) and a hybrid with the braid monoid \(B_{\infty }^{+}\). (English) Zbl 1422.05106 Algebr. Comb. 2, No. 4, 683-709 (2019). Reviewer: Laura Colmenarejo Hernando (Leipzig) MSC: 05E15 20M05 20E22 20F36 68Q42 PDFBibTeX XMLCite \textit{P. Dehornoy} and \textit{E. Tesson}, Algebr. Comb. 2, No. 4, 683--709 (2019; Zbl 1422.05106) Full Text: DOI arXiv
Galashin, Pavel; Hopkins, Sam; McConville, Thomas; Postnikov, Alexander Root system chip-firing. I: Interval-firing. (English) Zbl 1440.17006 Math. Z. 292, No. 3-4, 1337-1385 (2019). MSC: 17B22 52B20 05C57 PDFBibTeX XMLCite \textit{P. Galashin} et al., Math. Z. 292, No. 3--4, 1337--1385 (2019; Zbl 1440.17006) Full Text: DOI arXiv
Kirkeby, Maja H.; Christiansen, Henning Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. (English) Zbl 1452.68095 Int. J. Approx. Reasoning 105, 217-228 (2019). MSC: 68Q42 68Q87 PDFBibTeX XMLCite \textit{M. H. Kirkeby} and \textit{H. Christiansen}, Int. J. Approx. Reasoning 105, 217--228 (2019; Zbl 1452.68095) Full Text: DOI Link
Bartholomew, Andrew; Fenn, Roger; Kamada, Naoko; Kamada, Seiichi Doodles on surfaces. (English) Zbl 1403.57003 J. Knot Theory Ramifications 27, No. 12, Article ID 1850071, 26 p. (2018). MSC: 57M25 57M27 05C10 PDFBibTeX XMLCite \textit{A. Bartholomew} et al., J. Knot Theory Ramifications 27, No. 12, Article ID 1850071, 26 p. (2018; Zbl 1403.57003) Full Text: DOI arXiv
Bonfante, Guillaume; Guillaume, Bruno Non-size increasing graph rewriting for natural language processing. (English) Zbl 1398.68270 Math. Struct. Comput. Sci. 28, No. 8, 1451-1484 (2018). MSC: 68Q42 68T50 PDFBibTeX XMLCite \textit{G. Bonfante} and \textit{B. Guillaume}, Math. Struct. Comput. Sci. 28, No. 8, 1451--1484 (2018; Zbl 1398.68270) Full Text: DOI
Blanqui, Frédéric Size-based termination of higher-order rewriting. (English) Zbl 1476.68048 J. Funct. Program. 28, Paper No. e11, 75 p. (2018). MSC: 68N18 68Q42 PDFBibTeX XMLCite \textit{F. Blanqui}, J. Funct. Program. 28, Paper No. e11, 75 p. (2018; Zbl 1476.68048) Full Text: DOI arXiv
Audino, Samuel; Aydel, Delaney R.; Farley, Daniel S. Quasiautomorphism groups of type \(F_\infty\). (English) Zbl 1494.20057 Algebr. Geom. Topol. 18, No. 4, 2339-2369 (2018). MSC: 20F65 57M07 PDFBibTeX XMLCite \textit{S. Audino} et al., Algebr. Geom. Topol. 18, No. 4, 2339--2369 (2018; Zbl 1494.20057) Full Text: DOI arXiv
Yang, Zhiqing Knot invariants with multiple skein relations. (English) Zbl 1423.57033 J. Knot Theory Ramifications 27, No. 2, Article ID 1850017, 33 p. (2018). MSC: 57M27 57M25 PDFBibTeX XMLCite \textit{Z. Yang}, J. Knot Theory Ramifications 27, No. 2, Article ID 1850017, 33 p. (2018; Zbl 1423.57033) Full Text: DOI arXiv
Guiraud, Yves; Malbos, Philippe Polygraphs of finite derivation type. (English) Zbl 1396.18004 Math. Struct. Comput. Sci. 28, No. 2, 155-201 (2018). Reviewer: Peeter Normak (Tallinn) MSC: 18B40 20M05 16S15 68Q42 20F10 PDFBibTeX XMLCite \textit{Y. Guiraud} and \textit{P. Malbos}, Math. Struct. Comput. Sci. 28, No. 2, 155--201 (2018; Zbl 1396.18004) Full Text: DOI arXiv
Alleaume, Clément Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category. (English) Zbl 1390.18014 J. Pure Appl. Algebra 222, No. 3, 636-673 (2018). Reviewer: Liu Gongxiang (Nanjing) MSC: 18D10 PDFBibTeX XMLCite \textit{C. Alleaume}, J. Pure Appl. Algebra 222, No. 3, 636--673 (2018; Zbl 1390.18014) Full Text: DOI arXiv
Chenavier, Cyrille Reduction operators and completion of rewriting systems. (English) Zbl 1371.68136 J. Symb. Comput. 84, 57-83 (2018). MSC: 68Q42 13P10 PDFBibTeX XMLCite \textit{C. Chenavier}, J. Symb. Comput. 84, 57--83 (2018; Zbl 1371.68136) Full Text: DOI arXiv
Pasku, Elton The adjoint semigroup of a \(\Gamma \)-semigroup. (English) Zbl 1474.20148 Novi Sad J. Math. 47, No. 2, 31-39 (2017). MSC: 20M75 20N99 20M10 20M12 20M17 PDFBibTeX XMLCite \textit{E. Pasku}, Novi Sad J. Math. 47, No. 2, 31--39 (2017; Zbl 1474.20148) Full Text: DOI
Costa Seco, João; Ferreira, Paulo; Lourenço, Hugo Capability-based localization of distributed and heterogeneous queries. (English) Zbl 1475.68106 J. Funct. Program. 27, Paper No. e26, 36 p. (2017). MSC: 68P15 68N18 68Q42 PDFBibTeX XMLCite \textit{J. Costa Seco} et al., J. Funct. Program. 27, Paper No. e26, 36 p. (2017; Zbl 1475.68106) Full Text: DOI
Baez, John C.; Otter, Nina Operads and phylogenetic trees. (English) Zbl 1411.18014 Theory Appl. Categ. 32, 1397-1453 (2017). Reviewer: Loïc Foissy (Calais) MSC: 18D50 05C05 PDFBibTeX XMLCite \textit{J. C. Baez} and \textit{N. Otter}, Theory Appl. Categ. 32, 1397--1453 (2017; Zbl 1411.18014) Full Text: arXiv Link
Hopkins, Sam; McConville, Thomas; Propp, Jim Sorting via chip-firing. (English) Zbl 1384.05117 Sémin. Lothar. Comb. 78B, Article 30, 12 p. (2017). MSC: 05C63 05C78 PDFBibTeX XMLCite \textit{S. Hopkins} et al., Sémin. Lothar. Comb. 78B, Article 30, 12 p. (2017; Zbl 1384.05117) Full Text: Link
Gubarev, Vsevolod; Kolesnikov, Pavel Gröbner-Shirshov basis of the universal enveloping Rota-Baxter algebra of a Lie algebra. (English) Zbl 1430.17013 J. Lie Theory 27, No. 3, 887-905 (2017). MSC: 17B01 17B37 PDFBibTeX XMLCite \textit{V. Gubarev} and \textit{P. Kolesnikov}, J. Lie Theory 27, No. 3, 887--905 (2017; Zbl 1430.17013) Full Text: arXiv Link
Hazrat, Roozbeh; Preusser, Raimund Applications of normal forms for weighted Leavitt path algebras: simple rings and domains. (English) Zbl 1376.16026 Algebr. Represent. Theory 20, No. 5, 1061-1083 (2017). MSC: 16S99 16S10 16W10 16W50 PDFBibTeX XMLCite \textit{R. Hazrat} and \textit{R. Preusser}, Algebr. Represent. Theory 20, No. 5, 1061--1083 (2017; Zbl 1376.16026) Full Text: DOI arXiv
Hopkins, Sam; McConville, Thomas; Propp, James Sorting via chip-firing. (English) Zbl 1369.05148 Electron. J. Comb. 24, No. 3, Research Paper P3.13, 20 p. (2017). MSC: 05C57 05C82 68R10 91A43 PDFBibTeX XMLCite \textit{S. Hopkins} et al., Electron. J. Comb. 24, No. 3, Research Paper P3.13, 20 p. (2017; Zbl 1369.05148) Full Text: arXiv Link
Baumgartner, Alexander; Kutsia, Temur Unranked second-order anti-unification. (English) Zbl 1372.68152 Inf. Comput. 255, Part 2, 262-286 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Baumgartner} and \textit{T. Kutsia}, Inf. Comput. 255, Part 2, 262--286 (2017; Zbl 1372.68152) Full Text: DOI
Zhang, Guangliang; Chen, Yuqun A new composition-diamond lemma for dialgebras. (English) Zbl 1385.16020 Algebra Colloq. 24, No. 2, 323-350 (2017). MSC: 16S15 13P10 17A99 PDFBibTeX XMLCite \textit{G. Zhang} and \textit{Y. Chen}, Algebra Colloq. 24, No. 2, 323--350 (2017; Zbl 1385.16020) Full Text: DOI arXiv
Ni, Lili; Chen, Yuqun A new composition-diamond lemma for associative conformal algebras. (English) Zbl 1407.17034 J. Algebra Appl. 16, No. 5, Article ID 1750094, 28 p. (2017). MSC: 17B69 16S15 13P10 PDFBibTeX XMLCite \textit{L. Ni} and \textit{Y. Chen}, J. Algebra Appl. 16, No. 5, Article ID 1750094, 28 p. (2017; Zbl 1407.17034) Full Text: DOI arXiv
Arrighi, Pablo; Dowek, Gilles Lineal: a linear-algebraic \(\lambda\)-calculus. (English) Zbl 1448.68206 Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017). MSC: 68N18 03B40 68Q42 81P68 PDFBibTeX XMLCite \textit{P. Arrighi} and \textit{G. Dowek}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017; Zbl 1448.68206) Full Text: DOI arXiv
Morrison, Scott; Peters, Emily; Snyder, Noah Categories generated by a trivalent vertex. (English) Zbl 1475.18025 Sel. Math., New Ser. 23, No. 2, 817-868 (2017). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M05 05C10 57K10 PDFBibTeX XMLCite \textit{S. Morrison} et al., Sel. Math., New Ser. 23, No. 2, 817--868 (2017; Zbl 1475.18025) Full Text: DOI arXiv
Christiansen, Henning; Kirkeby, Maja H. On proving confluence modulo equivalence for Constraint Handling Rules. (English) Zbl 1355.68050 Formal Asp. Comput. 29, No. 1, 57-95 (2017). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{H. Christiansen} and \textit{M. H. Kirkeby}, Formal Asp. Comput. 29, No. 1, 57--95 (2017; Zbl 1355.68050) Full Text: DOI arXiv
Balodi, Mamta; Huang, Hua-Lin; Kumar, Shiv Datt Diamond lemma for the group graded quasi-algebras. (English) Zbl 1392.17001 Proc. Indian Acad. Sci., Math. Sci. 126, No. 3, 341-352 (2016). MSC: 17A30 17A60 PDFBibTeX XMLCite \textit{M. Balodi} et al., Proc. Indian Acad. Sci., Math. Sci. 126, No. 3, 341--352 (2016; Zbl 1392.17001) Full Text: DOI
Tanushevski, Slobodan A new class of generalized Thompson’s groups and their normal subgroups. (English) Zbl 1383.20030 Commun. Algebra 44, No. 10, 4378-4410 (2016). MSC: 20F65 20E07 20F05 20F14 PDFBibTeX XMLCite \textit{S. Tanushevski}, Commun. Algebra 44, No. 10, 4378--4410 (2016; Zbl 1383.20030) Full Text: DOI
Latyshev, V. N. Algebraic simplification and cryptographic motives. (English. Russian original) Zbl 1343.16048 J. Math. Sci., New York 213, No. 2, 201-210 (2016); translation from Fundam. Prikl. Mat. 19, No. 2, 109-124 (2014). MSC: 16Z05 68P30 94A12 16S10 16R10 17B35 13P10 68W30 94A60 PDFBibTeX XMLCite \textit{V. N. Latyshev}, J. Math. Sci., New York 213, No. 2, 201--210 (2016; Zbl 1343.16048); translation from Fundam. Prikl. Mat. 19, No. 2, 109--124 (2014) Full Text: DOI
Giraudo, Samuele Pluriassociative algebras. II: The polydendriform operad and related operads. (English) Zbl 1337.05112 Adv. Appl. Math. 77, 43-85 (2016). MSC: 05E15 05C05 18D50 PDFBibTeX XMLCite \textit{S. Giraudo}, Adv. Appl. Math. 77, 43--85 (2016; Zbl 1337.05112) Full Text: DOI arXiv
Giraudo, Samuele Operads from posets and Koszul duality. (English) Zbl 1354.18015 Eur. J. Comb. 56, 1-32 (2016). Reviewer: Donald Yau (Newark) MSC: 18D50 PDFBibTeX XMLCite \textit{S. Giraudo}, Eur. J. Comb. 56, 1--32 (2016; Zbl 1354.18015) Full Text: DOI arXiv
Samsonadze, Guram; Zangurashvili, Dali Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (English) Zbl 1337.08004 Tbil. Math. J. 9, No. 1, 49-54 (2016). MSC: 08B25 18A20 68Q42 18C20 08B05 08A70 PDFBibTeX XMLCite \textit{G. Samsonadze} and \textit{D. Zangurashvili}, Tbil. Math. J. 9, No. 1, 49--54 (2016; Zbl 1337.08004) Full Text: DOI
Thurston, Dylan Paul Positive basis for surface skein algebras. (English) Zbl 1355.57015 Proc. Natl. Acad. Sci. USA 111, No. 27, 9725-9732 (2014). MSC: 57M27 57M25 57N10 PDFBibTeX XMLCite \textit{D. P. Thurston}, Proc. Natl. Acad. Sci. USA 111, No. 27, 9725--9732 (2014; Zbl 1355.57015) Full Text: DOI arXiv
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando Formal analysis of model transformations based on triple graph grammars. (English) Zbl 1342.68180 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240408, 57 p. (2014). MSC: 68Q42 68P15 68Q60 PDFBibTeX XMLCite \textit{F. Hermann} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240408, 57 p. (2014; Zbl 1342.68180) Full Text: DOI
Bokut, L. A.; Chen, Yuqun Gröbner-Shirshov bases and their calculation. (English) Zbl 1350.13001 Bull. Math. Sci. 4, No. 3, 325-395 (2014). Reviewer: Vesselin Drensky (Sofia) MSC: 13-02 13P10 16S15 16-02 17-02 16S10 17B01 17A30 18D50 20M18 PDFBibTeX XMLCite \textit{L. A. Bokut} and \textit{Y. Chen}, Bull. Math. Sci. 4, No. 3, 325--395 (2014; Zbl 1350.13001) Full Text: DOI arXiv
Duck, Gregory J.; Haemmerlé, Rémy; Sulzmann, Martin On termination, confluence and consistent CHR-based type inference. (English) Zbl 1309.68031 Theory Pract. Log. Program. 14, No. 4-5, 619-632 (2014). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{G. J. Duck} et al., Theory Pract. Log. Program. 14, No. 4--5, 619--632 (2014; Zbl 1309.68031) Full Text: DOI arXiv
Zhang, Meili; Deng, Bo Prime decomposition of three-dimensional manifolds into boundary connected sum. (English) Zbl 1301.57017 ISRN Appl. Math. 2014, Article ID 717265, 3 p. (2014). MSC: 57N10 57M15 PDFBibTeX XMLCite \textit{M. Zhang} and \textit{B. Deng}, ISRN Appl. Math. 2014, Article ID 717265, 3 p. (2014; Zbl 1301.57017) Full Text: DOI
Bertolissi, Clara; Fernández, Maribel A metamodel of access control for distributed environments: applications and properties. (English) Zbl 1360.68206 Inf. Comput. 238, 187-207 (2014). MSC: 68M14 68Q42 68Q55 PDFBibTeX XMLCite \textit{C. Bertolissi} and \textit{M. Fernández}, Inf. Comput. 238, 187--207 (2014; Zbl 1360.68206) Full Text: DOI
Belk, James; Matucci, Francesco Conjugacy and dynamics in Thompson’s groups. (English) Zbl 1321.20038 Geom. Dedicata 169, 239-261 (2014). Reviewer: Jörg Lehnert (Leipzig) MSC: 20F65 20F10 20E45 37E05 PDFBibTeX XMLCite \textit{J. Belk} and \textit{F. Matucci}, Geom. Dedicata 169, 239--261 (2014; Zbl 1321.20038) Full Text: DOI arXiv
Yilmaz, Erol; Özel, Cenap; Ustaoğlu, Uğur Gröbner-Shirshov basis and reduced words for affine Weyl group \(\widetilde{A}_{n}\). (English) Zbl 1294.22020 J. Algebra Appl. 13, No. 6, Article ID 1450005, 18 p. (2014). Reviewer: Francesco G. Russo (Rondebosch) MSC: 22E67 20F55 51F15 PDFBibTeX XMLCite \textit{E. Yilmaz} et al., J. Algebra Appl. 13, No. 6, Article ID 1450005, 18 p. (2014; Zbl 1294.22020) Full Text: DOI
Trost, Michael An epistemic rationale for order independence. (English) Zbl 1312.91022 Int. Game Theory Rev. 16, No. 1, Article ID 1440002, 37 p. (2014). MSC: 91A35 03B42 91A10 91A44 PDFBibTeX XMLCite \textit{M. Trost}, Int. Game Theory Rev. 16, No. 1, Article ID 1440002, 37 p. (2014; Zbl 1312.91022) Full Text: DOI
Endrullis, Jörg; Klop, Jan Willem De Bruijn’s weak diamond property revisited. (English) Zbl 1360.68533 Indag. Math., New Ser. 24, No. 4, 1050-1072 (2013). MSC: 68Q42 03B40 68T15 PDFBibTeX XMLCite \textit{J. Endrullis} and \textit{J. W. Klop}, Indag. Math., New Ser. 24, No. 4, 1050--1072 (2013; Zbl 1360.68533) Full Text: DOI
Nystedt, Patrik A combinatorial proof of associativity of Ore extensions. (English) Zbl 1284.16032 Discrete Math. 313, No. 23, 2748-2750 (2013). MSC: 16S36 05A15 PDFBibTeX XMLCite \textit{P. Nystedt}, Discrete Math. 313, No. 23, 2748--2750 (2013; Zbl 1284.16032) Full Text: DOI
Grattan-Guinness, I. The mentor of Alan Turing: Max Newman (1897–1984) as a logician. (English) Zbl 1284.01061 Math. Intell. 35, No. 3, 54-63 (2013). Reviewer: Robert W. van der Waall (Huizen) MSC: 01A70 01A60 03-03 PDFBibTeX XMLCite \textit{I. Grattan-Guinness}, Math. Intell. 35, No. 3, 54--63 (2013; Zbl 1284.01061) Full Text: DOI
Gulan, Stefan Series parallel digraphs with loops. (English) Zbl 1286.68282 Theory Comput. Syst. 53, No. 2, 126-158 (2013). MSC: 68Q45 05C20 05C38 PDFBibTeX XMLCite \textit{S. Gulan}, Theory Comput. Syst. 53, No. 2, 126--158 (2013; Zbl 1286.68282) Full Text: DOI
Haemmerlé, Rémy Diagrammatic confluence for constraint handling rules. (English) Zbl 1261.68038 Theory Pract. Log. Program. 12, No. 4-5, 737-753 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{R. Haemmerlé}, Theory Pract. Log. Program. 12, No. 4--5, 737--753 (2012; Zbl 1261.68038) Full Text: DOI arXiv
Jouannaud, Jean-Pierre; Liu, Jiaxiang From diagrammatic confluence to modularity. (English) Zbl 1253.68197 Theor. Comput. Sci. 464, 20-34 (2012). MSC: 68Q42 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{J. Liu}, Theor. Comput. Sci. 464, 20--34 (2012; Zbl 1253.68197) Full Text: DOI
Confalonieri, Roberto; Nieves, Juan Carlos; Osorio, Mauricio; Vázquez-Salceda, Javier Dealing with explicit preferences and uncertainty in answer set programming. (English) Zbl 1258.68139 Ann. Math. Artif. Intell. 65, No. 2-3, 159-198 (2012). MSC: 68T27 68T30 68T37 68N17 PDFBibTeX XMLCite \textit{R. Confalonieri} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 159--198 (2012; Zbl 1258.68139) Full Text: DOI
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina Importing logics. (English) Zbl 1280.03033 Stud. Log. 100, No. 3, 545-581 (2012). MSC: 03B62 PDFBibTeX XMLCite \textit{J. Rasga} et al., Stud. Log. 100, No. 3, 545--581 (2012; Zbl 1280.03033) Full Text: DOI
Guiraud, Yves; Malbos, Philippe Coherence in monoidal track categories. (English) Zbl 1264.18007 Math. Struct. Comput. Sci. 22, No. 6, 931-969 (2012). Reviewer: Vivek Dhand (Boulder) MSC: 18D10 PDFBibTeX XMLCite \textit{Y. Guiraud} and \textit{P. Malbos}, Math. Struct. Comput. Sci. 22, No. 6, 931--969 (2012; Zbl 1264.18007) Full Text: DOI arXiv
Guiraud, Yves; Malbos, Philippe Higher-dimensional normalisation strategies for acyclicity. (English) Zbl 1266.18008 Adv. Math. 231, No. 3-4, 2294-2351 (2012). Reviewer: Yu Li (Guangzhou) MSC: 18C10 68Q42 18D05 18G10 18G20 PDFBibTeX XMLCite \textit{Y. Guiraud} and \textit{P. Malbos}, Adv. Math. 231, No. 3--4, 2294--2351 (2012; Zbl 1266.18008) Full Text: DOI arXiv
Gabbay, Murdoch J. Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free. (English) Zbl 1251.03035 J. Symb. Log. 77, No. 3, 828-852 (2012). MSC: 03B70 03C98 03G25 PDFBibTeX XMLCite \textit{M. J. Gabbay}, J. Symb. Log. 77, No. 3, 828--852 (2012; Zbl 1251.03035) Full Text: DOI arXiv Euclid
Gibson, Andrew Factorization of homotopies of nanophrases. (English) Zbl 1243.57005 Math. Proc. Camb. Philos. Soc. 152, No. 1, 55-90 (2012). Reviewer: Teruhisa Kadokami (Shanghai) MSC: 57M25 57M99 68R15 PDFBibTeX XMLCite \textit{A. Gibson}, Math. Proc. Camb. Philos. Soc. 152, No. 1, 55--90 (2012; Zbl 1243.57005) Full Text: DOI arXiv
Kimura, Daisuke; Kakutani, Yoshihiko Classical natural deduction for S4 modal logic. (English) Zbl 1251.68071 New Generation Comput. 29, No. 1, 61-86 (2011). MSC: 68N18 03B45 03B70 PDFBibTeX XMLCite \textit{D. Kimura} and \textit{Y. Kakutani}, New Generation Comput. 29, No. 1, 61--86 (2011; Zbl 1251.68071) Full Text: DOI
Swan, Jerry Efficiency issues in the KBMAG procedure. (English) Zbl 1227.68116 J. Log. Algebr. Program. 80, No. 8, 444-452 (2011). MSC: 68W30 20-04 20F10 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Swan}, J. Log. Algebr. Program. 80, No. 8, 444--452 (2011; Zbl 1227.68116) Full Text: DOI
Geuvers, Herman; Krebbers, Robbert The correctness of Newman’s typability algorithm and some of its extensions. (English) Zbl 1221.03016 Theor. Comput. Sci. 412, No. 28, 3242-3261 (2011). MSC: 03B40 PDFBibTeX XMLCite \textit{H. Geuvers} and \textit{R. Krebbers}, Theor. Comput. Sci. 412, No. 28, 3242--3261 (2011; Zbl 1221.03016) Full Text: DOI