Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. (English) Zbl 07566058 Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{S. Ghilardi} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022; Zbl 07566058) Full Text: arXiv Link OpenURL
Gateva-Ivanova, Tatiana Algebras defined by Lyndon words and Artin-Schelter regularity. (English) Zbl 07562617 Trans. Am. Math. Soc., Ser. B 9, 648-699 (2022). MSC: 16E65 16S38 16S30 16S15 16S37 16P90 17B30 17B35 17B70 PDF BibTeX XML Cite \textit{T. Gateva-Ivanova}, Trans. Am. Math. Soc., Ser. B 9, 648--699 (2022; Zbl 07562617) Full Text: DOI OpenURL
Arici, Francesca; Galuppi, Francesco; Gateva-Ivanova, Tatiana Veronese and Segre morphisms between non-commutative projective spaces. (English) Zbl 07561825 Eur. J. Math. 8, No. 1, Suppl. 1, 235-273 (2022). MSC: 16S37 16S38 16S15 16S10 81R60 PDF BibTeX XML Cite \textit{F. Arici} et al., Eur. J. Math. 8, No. 1, 235--273 (2022; Zbl 07561825) Full Text: DOI OpenURL
Bai, Yuxiu; Chen, Yuqun Gröbner-Shirshov bases theory for Leibniz superalgebras. (English) Zbl 07534173 Commun. Algebra 50, No. 8, 3524-3542 (2022). MSC: 17A32 17A61 17A70 16S15 PDF BibTeX XML Cite \textit{Y. Bai} and \textit{Y. Chen}, Commun. Algebra 50, No. 8, 3524--3542 (2022; Zbl 07534173) Full Text: DOI OpenURL
Zhang, Shujun; Nishida, Naoki Transforming orthogonal inductive definition sets into confluent term rewrite systems. (English) Zbl 07531446 J. Log. Algebr. Methods Program. 127, Article ID 100779, 17 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Zhang} and \textit{N. Nishida}, J. Log. Algebr. Methods Program. 127, Article ID 100779, 17 p. (2022; Zbl 07531446) Full Text: DOI OpenURL
Tamaroff, Pedro Resolutions of operads via Koszul (bi)algebras. (English) Zbl 07528631 J. Homotopy Relat. Struct. 17, No. 2, 175-200 (2022). MSC: 18D50 16S15 18M70 18G55 PDF BibTeX XML Cite \textit{P. Tamaroff}, J. Homotopy Relat. Struct. 17, No. 2, 175--200 (2022; Zbl 07528631) Full Text: DOI OpenURL
Draper, Thomas L.; Nielsen, Pace P.; Šter, Janez Nilpotent polynomials and nilpotent coefficients. (English) Zbl 07515342 J. Algebra 602, 405-440 (2022). Reviewer: Puguh Wahyu Prasetyo (Yogyakarta) MSC: 16N40 16S10 16S15 16S36 16U99 PDF BibTeX XML Cite \textit{T. L. Draper} et al., J. Algebra 602, 405--440 (2022; Zbl 07515342) Full Text: DOI OpenURL
Duffy, Callum F.; Jones, Joshua Y. L.; Yazdi, Yasaman K. Entanglement entropy of disjoint spacetime intervals in causal set theory. (English) Zbl 1487.83012 Classical Quantum Gravity 39, No. 7, Article ID 075017, 17 p. (2022). MSC: 83C27 62D20 81P42 62H20 16S15 81P17 PDF BibTeX XML Cite \textit{C. F. Duffy} et al., Classical Quantum Gravity 39, No. 7, Article ID 075017, 17 p. (2022; Zbl 1487.83012) Full Text: DOI OpenURL
Rumynin, Dmitriy; Westaway, Matthew Centrification of algebras and Hopf algebras. (English) Zbl 07496485 Can. Math. Bull. 65, No. 1, 155-169 (2022). MSC: 16S15 16T05 PDF BibTeX XML Cite \textit{D. Rumynin} and \textit{M. Westaway}, Can. Math. Bull. 65, No. 1, 155--169 (2022; Zbl 07496485) Full Text: DOI OpenURL
Wiertel, Magdalena Irreducible representations of Hecke-Kiselman monoids. (English) Zbl 07483315 Linear Algebra Appl. 640, 12-33 (2022). MSC: 16S15 16S36 16P40 16G99 20M05 20C08 05C25 PDF BibTeX XML Cite \textit{M. Wiertel}, Linear Algebra Appl. 640, 12--33 (2022; Zbl 07483315) Full Text: DOI arXiv OpenURL
Elias, Ben A diamond lemma for Hecke-type algebras. (English) Zbl 07479589 Trans. Am. Math. Soc. 375, No. 3, 1883-1915 (2022). Reviewer: Philippe Malbos (Lyon) MSC: 20F55 16S15 PDF BibTeX XML Cite \textit{B. Elias}, Trans. Am. Math. Soc. 375, No. 3, 1883--1915 (2022; Zbl 07479589) Full Text: DOI arXiv OpenURL
Zhang, Zerui; Chen, Yuqun; Yu, Bing No dialgebra has Gelfand-Kirillov dimension strictly between 1 and 2. (English) Zbl 07462233 Linear Multilinear Algebra 70, No. 1, 42-52 (2022). MSC: 16S15 16P90 17A30 PDF BibTeX XML Cite \textit{Z. Zhang} et al., Linear Multilinear Algebra 70, No. 1, 42--52 (2022; Zbl 07462233) Full Text: DOI arXiv OpenURL
Zaman, Baddi Ul; Chen, Yuqun; Yang, Mingmei Gröbner-Shirshov bases for free idempotent monoids. (English) Zbl 07552092 Southeast Asian Bull. Math. 45, No. 5, 759-774 (2021). MSC: 16S15 13P10 20M05 PDF BibTeX XML Cite \textit{B. U. Zaman} et al., Southeast Asian Bull. Math. 45, No. 5, 759--774 (2021; Zbl 07552092) Full Text: Link OpenURL
Atkarskaya, Agatha; Kanel-Belov, Alexei; Plotkin, Eugene; Rips, Eliyahu Structure of small cancellation rings. (English) Zbl 07544439 Math. Res. Rep. (Amst.) 2, 1-14 (2021). MSC: 20F67 16S15 16Z05 PDF BibTeX XML Cite \textit{A. Atkarskaya} et al., Math. Res. Rep. (Amst.) 2, 1--14 (2021; Zbl 07544439) Full Text: DOI OpenURL
Zieliński, Bartosz A non-deterministic multiset query language. (English) Zbl 07485823 Fundam. Inform. 184, No. 2, 141-180 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{B. Zieliński}, Fundam. Inform. 184, No. 2, 141--180 (2021; Zbl 07485823) Full Text: DOI arXiv OpenURL
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa Efficient full higher-order unification. (English) Zbl 07471678 Log. Methods Comput. Sci. 17, No. 4, Paper No. 18, 31 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{P. Vukmirović} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 18, 31 p. (2021; Zbl 07471678) Full Text: arXiv Link OpenURL
Lucas, Salvador Derivational complexity and context-sensitive Rewriting. (English) Zbl 07461269 J. Autom. Reasoning 65, No. 8, 1191-1229 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Lucas}, J. Autom. Reasoning 65, No. 8, 1191--1229 (2021; Zbl 07461269) Full Text: DOI OpenURL
Okniński, Jan; Wiertel, Magdalena On the radical of a Hecke-Kiselman algebra. (English) Zbl 07440308 Algebr. Represent. Theory 24, No. 6, 1431-1440 (2021). MSC: 16S15 16S36 16P40 16N20 16R20 20M05 20M25 20C08 05C25 PDF BibTeX XML Cite \textit{J. Okniński} and \textit{M. Wiertel}, Algebr. Represent. Theory 24, No. 6, 1431--1440 (2021; Zbl 07440308) Full Text: DOI arXiv OpenURL
Zargeh, Chia Existentially closed Leibniz algebras and an embedding theorem. (English) Zbl 1485.17012 Commun. Math. 29, No. 2, 163-170 (2021). MSC: 17A32 17A36 16S15 PDF BibTeX XML Cite \textit{C. Zargeh}, Commun. Math. 29, No. 2, 163--170 (2021; Zbl 1485.17012) Full Text: DOI arXiv OpenURL
Cantuba, Rafael Reno S. A Casimir element inexpressible as a Lie polynomial. (English) Zbl 07426072 Int. Electron. J. Algebra 30, 1-15 (2021). MSC: 17B60 16S15 17B37 81R50 PDF BibTeX XML Cite \textit{R. R. S. Cantuba}, Int. Electron. J. Algebra 30, 1--15 (2021; Zbl 07426072) Full Text: DOI arXiv OpenURL
Terwilliger, Paul The alternating central extension of the \(q\)-Onsager algebra. (English) Zbl 1487.17047 Commun. Math. Phys. 387, No. 3, 1771-1819 (2021). MSC: 17B65 16S15 PDF BibTeX XML Cite \textit{P. Terwilliger}, Commun. Math. Phys. 387, No. 3, 1771--1819 (2021; Zbl 1487.17047) Full Text: DOI arXiv OpenURL
Ishizuka, Mamoru; Aoto, Takahito; Iwami, Munehiro Commutative rational term rewriting. (English) Zbl 07405988 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 200-212 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Ishizuka} et al., Lect. Notes Comput. Sci. 12638, 200--212 (2021; Zbl 07405988) Full Text: DOI OpenURL
Nishida, Naoki; Niwa, Minami Determinization of inverted grammar programs via context-free expressions. (English) Zbl 07390714 J. Log. Algebr. Methods Program. 122, Article ID 100688, 26 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{N. Nishida} and \textit{M. Niwa}, J. Log. Algebr. Methods Program. 122, Article ID 100688, 26 p. (2021; Zbl 07390714) Full Text: DOI OpenURL
Lucas, Salvador Applications and extensions of context-sensitive rewriting. (English) Zbl 07377682 J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 121, Article ID 100680, 33 p. (2021; Zbl 07377682) Full Text: DOI OpenURL
Wardati, K. On basically prime non-free algebras over a commutative unital ring. (English) Zbl 1482.16034 J. Algebra Appl. Math. 19, No. 2, 97-114 (2021). MSC: 16S10 16S15 PDF BibTeX XML Cite \textit{K. Wardati}, J. Algebra Appl. Math. 19, No. 2, 97--114 (2021; Zbl 1482.16034) OpenURL
Green, Edward L.; Hille, Lutz; Schroll, Sibylle Algebras and varieties. (English) Zbl 07371530 Algebr. Represent. Theory 24, No. 2, 367-388 (2021). MSC: 16G20 14M05 16S15 16W50 PDF BibTeX XML Cite \textit{E. L. Green} et al., Algebr. Represent. Theory 24, No. 2, 367--388 (2021; Zbl 07371530) Full Text: DOI arXiv OpenURL
Glizburg, Vita; Pchelintsev, Sergey Some finitely generated associative algebras with a Lie nilpotency identity. (English) Zbl 1472.16022 J. Algebra Appl. 20, No. 7, Article ID 2150112, 20 p. (2021). Reviewer: Alberto Elduque (Zaragoza) MSC: 16R10 16S15 17A50 17D05 PDF BibTeX XML Cite \textit{V. Glizburg} and \textit{S. Pchelintsev}, J. Algebra Appl. 20, No. 7, Article ID 2150112, 20 p. (2021; Zbl 1472.16022) Full Text: DOI OpenURL
Cantuba, Rafael Reno S.; Merciales, Mark Anthony C. An extension of a \(q\)-deformed Heisenberg algebra and its Lie polynomials. (English) Zbl 07363309 Expo. Math. 39, No. 1, 1-24 (2021). MSC: 17B60 16S15 47C99 47L15 PDF BibTeX XML Cite \textit{R. R. S. Cantuba} and \textit{M. A. C. Merciales}, Expo. Math. 39, No. 1, 1--24 (2021; Zbl 07363309) Full Text: DOI arXiv OpenURL
Ivanov, Sergei O.; Lopatkin, Viktor Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras. (English) Zbl 1481.16058 J. Pure Appl. Algebra 225, No. 11, Article ID 106725, 22 p. (2021). MSC: 16Z10 16E05 16E10 16E40 16S15 PDF BibTeX XML Cite \textit{S. O. Ivanov} and \textit{V. Lopatkin}, J. Pure Appl. Algebra 225, No. 11, Article ID 106725, 22 p. (2021; Zbl 1481.16058) Full Text: DOI arXiv OpenURL
Li, Yunnan; Guo, Li Construction of free differential algebras by extending Gröbner-Shirshov bases. (English) Zbl 1462.13027 J. Symb. Comput. 107, 167-189 (2021). Reviewer: Alexander B. Levin (Washington) MSC: 13P10 16Z10 12H05 16S10 13N10 16S15 PDF BibTeX XML Cite \textit{Y. Li} and \textit{L. Guo}, J. Symb. Comput. 107, 167--189 (2021; Zbl 1462.13027) Full Text: DOI arXiv OpenURL
Bauer, Tomer; Greenfeld, Be’eri Prime monomial ideals of algebras of subsemigroups of free nilpotent groups. (English) Zbl 1482.16038 Isr. J. Math. 241, No. 2, 527-538 (2021). Reviewer: Alexei Kanel-Belov (Ramat-Gan) MSC: 16S36 16S15 16N60 20M18 PDF BibTeX XML Cite \textit{T. Bauer} and \textit{B. Greenfeld}, Isr. J. Math. 241, No. 2, 527--538 (2021; Zbl 1482.16038) Full Text: DOI OpenURL
Cedó, Ferran; Jespers, Eric; Okniński, Jan Set-theoretic solutions of the Yang-Baxter equation, associated quadratic algebras and the minimality condition. (English) Zbl 1466.16034 Rev. Mat. Complut. 34, No. 1, 99-129 (2021). Reviewer: Cristian Vay (Córdoba) MSC: 16T25 16S15 16S36 16S37 16W50 16P90 81R50 PDF BibTeX XML Cite \textit{F. Cedó} et al., Rev. Mat. Complut. 34, No. 1, 99--129 (2021; Zbl 1466.16034) Full Text: DOI arXiv OpenURL
Li, Yu; Mo, Qiuhui; Bokut, Leonid A. Gröbner-Shirshov bases for symmetric brace algebras. (English) Zbl 1457.17004 Commun. Algebra 49, No. 2, 892-904 (2021). Reviewer: Loïc Foissy (Calais) MSC: 17A61 16S15 17A30 17D25 PDF BibTeX XML Cite \textit{Y. Li} et al., Commun. Algebra 49, No. 2, 892--904 (2021; Zbl 1457.17004) Full Text: DOI OpenURL
Tikaradze, Akaki Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras. (English) Zbl 1479.16023 Math. Z. 297, No. 1-2, 475-481 (2021). Reviewer: Alexei Kanel-Belov (Ramat-Gan) MSC: 16S15 17B35 16S30 PDF BibTeX XML Cite \textit{A. Tikaradze}, Math. Z. 297, No. 1--2, 475--481 (2021; Zbl 1479.16023) Full Text: DOI arXiv OpenURL
Cevik, Ahmet Sinan; Albargi, Amer Hassan A solution of the word problem for braid groups via the complex reflection group \(G_{12}\). (English) Zbl 07539052 Filomat 34, No. 2, 461-467 (2020). MSC: 20F10 16S15 20F05 20F36 20E22 20M05 PDF BibTeX XML Cite \textit{A. S. Cevik} and \textit{A. H. Albargi}, Filomat 34, No. 2, 461--467 (2020; Zbl 07539052) Full Text: DOI OpenURL
Cevik, Ahmet S.; Karpuz, Eylem G.; Alsulami, Hamed H.; Cetinalp, Esra K. A Gröbner-Shirshov basis over a special type of braid monoids. (English) Zbl 07512946 AIMS Math. 5, No. 5, 4357-4370 (2020). Reviewer: Cenap Özel (İzmir) MSC: 13P10 16S15 20M05 PDF BibTeX XML Cite \textit{A. S. Cevik} et al., AIMS Math. 5, No. 5, 4357--4370 (2020; Zbl 07512946) Full Text: DOI OpenURL
Cantuba, Rafael Reno; Silvestrov, Sergei Lie polynomial characterization problems. (English) Zbl 07392806 Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 593-601 (2020). MSC: 17B60 05A30 16S15 16S80 17B37 46L60 PDF BibTeX XML Cite \textit{R. R. Cantuba} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 593--601 (2020; Zbl 07392806) Full Text: DOI OpenURL
Cantuba, Rafael Reno; Silvestrov, Sergei Torsion-type \(q\)-deformed Heisenberg algebra and its Lie polynomials. (English) Zbl 07392805 Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 575-592 (2020). MSC: 16S80 16S15 05A30 17B60 81R50 PDF BibTeX XML Cite \textit{R. R. Cantuba} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 575--592 (2020; Zbl 07392805) Full Text: DOI arXiv OpenURL
Hellström, Lars Strong Hom-associativity. (English) Zbl 1479.17005 Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 317-337 (2020). MSC: 17A30 17D30 16S15 68Q42 PDF BibTeX XML Cite \textit{L. Hellström}, Springer Proc. Math. Stat. 317, 317--337 (2020; Zbl 1479.17005) Full Text: DOI OpenURL
Nikmehr, Mohammad Javad; Azadi, Abdolreza Nilpotent graphs of skew polynomial rings over non-commutative rings. (English) Zbl 1474.16066 Trans. Comb. 9, No. 1, 41-48 (2020). MSC: 16S36 16U99 16S15 05C12 PDF BibTeX XML Cite \textit{M. J. Nikmehr} and \textit{A. Azadi}, Trans. Comb. 9, No. 1, 41--48 (2020; Zbl 1474.16066) Full Text: DOI OpenURL
Qiang, Cheng-xiu; Obul, Abdukadir The skew-commutator relations and Gröbner-Shirshov bases of quantum group of type \(C_3\). (English) Zbl 1470.16047 Acta Math. Appl. Sin., Engl. Ser. 36, No. 4, 825-835 (2020). MSC: 16S15 16Z10 13P10 17B37 PDF BibTeX XML Cite \textit{C.-x. Qiang} and \textit{A. Obul}, Acta Math. Appl. Sin., Engl. Ser. 36, No. 4, 825--835 (2020; Zbl 1470.16047) Full Text: DOI OpenURL
Chen, Xing; Zhao, Xuezhi Normal forms in braid groups with respect to some Gröbner-Shirshov basis. (English) Zbl 1486.20045 J. Knot Theory Ramifications 29, No. 13, Article ID 2043005, 10 p. (2020). MSC: 20F36 16S15 PDF BibTeX XML Cite \textit{X. Chen} and \textit{X. Zhao}, J. Knot Theory Ramifications 29, No. 13, Article ID 2043005, 10 p. (2020; Zbl 1486.20045) Full Text: DOI OpenURL
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. (English) Zbl 1459.68092 J. Autom. Reasoning 64, No. 8, 1611-1662 (2020). MSC: 68Q42 68N15 PDF BibTeX XML Cite \textit{S. Lucas} et al., J. Autom. Reasoning 64, No. 8, 1611--1662 (2020; Zbl 1459.68092) Full Text: DOI OpenURL
Baeck, Jongwook; Kim, Nam Kyun; Lee, Yang; Nielsen, Pace P. Zero-divisor placement, a condition of Camillo, and the McCoy property. (English) Zbl 1465.16037 J. Pure Appl. Algebra 224, No. 12, Article ID 106432, 13 p. (2020). Reviewer: Plamen Koshlukov (Campinas) MSC: 16U80 16S15 16S20 16S36 PDF BibTeX XML Cite \textit{J. Baeck} et al., J. Pure Appl. Algebra 224, No. 12, Article ID 106432, 13 p. (2020; Zbl 1465.16037) Full Text: DOI OpenURL
Găină, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Stability of termination and sufficient-completeness under pushouts via amalgamation. (English) Zbl 1464.68215 Theor. Comput. Sci. 848, 82-105 (2020). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{D. Găină} et al., Theor. Comput. Sci. 848, 82--105 (2020; Zbl 1464.68215) Full Text: DOI OpenURL
Doroshenko, A. Y.; Yatsenko, O. A. Formal methods of parallel software design automation. (English) Zbl 1463.68016 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15-20 (2020). MSC: 68N30 68N19 68Q42 68W01 70-10 70F10 PDF BibTeX XML Cite \textit{A. Y. Doroshenko} and \textit{O. A. Yatsenko}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15--20 (2020; Zbl 1463.68016) Full Text: DOI OpenURL
Jakubův, Jan; Kaliszyk, Cezary Relaxed weighted path order in theorem proving. (English) Zbl 07268451 Math. Comput. Sci. 14, No. 3, 657-670 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Jakubův} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 657--670 (2020; Zbl 07268451) Full Text: DOI OpenURL
Ma, Guanglin; Wang, Yao; Ren, Yanli Some extensions of directly finite rings. (Chinese. English summary) Zbl 1463.16035 J. Anhui Norm. Univ., Nat. Sci. 43, No. 1, 24-27 (2020). MSC: 16S20 16S15 16W55 PDF BibTeX XML Cite \textit{G. Ma} et al., J. Anhui Norm. Univ., Nat. Sci. 43, No. 1, 24--27 (2020; Zbl 1463.16035) Full Text: DOI OpenURL
Li, Yu; Mo, Qiuhui; Bokut, L. A. Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras. (English) Zbl 1477.17047 Commun. Algebra 48, No. 12, 5086-5109 (2020). MSC: 17A61 17A30 16S15 16Z10 PDF BibTeX XML Cite \textit{Y. Li} et al., Commun. Algebra 48, No. 12, 5086--5109 (2020; Zbl 1477.17047) Full Text: DOI OpenURL
Lebed, Victoria Plactic monoids: a braided approach. (English) Zbl 1485.20145 J. Algebra 564, 325-352 (2020). MSC: 20M50 16T25 16E40 55N35 16S15 PDF BibTeX XML Cite \textit{V. Lebed}, J. Algebra 564, 325--352 (2020; Zbl 1485.20145) Full Text: DOI arXiv OpenURL
Hamidizadeh, Maryam; Hashemi, Ebrahim; Reyes, Armando A classification of ring elements in skew PBW extensions over compatible rings. (English) Zbl 1460.16028 Int. Electron. J. Algebra 28, 75-97 (2020). MSC: 16S36 16U60 16S38 16S15 16S80 PDF BibTeX XML Cite \textit{M. Hamidizadeh} et al., Int. Electron. J. Algebra 28, 75--97 (2020; Zbl 1460.16028) Full Text: Link OpenURL
He, Zhe; Obul, Abdukadir Gröbner-Shirshov basis of derived Hall algebra of type \(A_n\). (English) Zbl 1468.16062 Acta Math. Sin., Engl. Ser. 36, No. 8, 929-942 (2020). MSC: 16Z05 16G70 16S15 PDF BibTeX XML Cite \textit{Z. He} and \textit{A. Obul}, Acta Math. Sin., Engl. Ser. 36, No. 8, 929--942 (2020; Zbl 1468.16062) Full Text: DOI OpenURL
Diop, Yatma; Sow, Djiby On finite noncommutative Gröbner bases. (English) Zbl 1441.16054 Algebra Colloq. 27, No. 3, 381-388 (2020). MSC: 16Z10 16S15 13P10 PDF BibTeX XML Cite \textit{Y. Diop} and \textit{D. Sow}, Algebra Colloq. 27, No. 3, 381--388 (2020; Zbl 1441.16054) Full Text: DOI OpenURL
Alahmadi, Adel; Alsulami, Hamed Morita equivalence of finitely presented algebras. (English) Zbl 1481.16028 Proc. Am. Math. Soc. 148, No. 11, 4577-4579 (2020). MSC: 16S15 PDF BibTeX XML Cite \textit{A. Alahmadi} and \textit{H. Alsulami}, Proc. Am. Math. Soc. 148, No. 11, 4577--4579 (2020; Zbl 1481.16028) Full Text: DOI OpenURL
Okniński, Jan; Wiertel, Magdalena Combinatorics and structure of Hecke-Kiselman algebras. (English) Zbl 1462.16029 Commun. Contemp. Math. 22, No. 7, Article ID 2050022, 42 p. (2020). MSC: 16S36 16S15 16P90 20M05 20C08 05C25 PDF BibTeX XML Cite \textit{J. Okniński} and \textit{M. Wiertel}, Commun. Contemp. Math. 22, No. 7, Article ID 2050022, 42 p. (2020; Zbl 1462.16029) Full Text: DOI arXiv OpenURL
Zhou, G.-S.; Shen, Y.; Lu, D.-M. The structure of connected (graded) Hopf algebras. (English) Zbl 1452.16033 Adv. Math. 372, Article ID 107292, 30 p. (2020). Reviewer: Loïc Foissy (Calais) MSC: 16T05 68R15 16P90 16S15 16W50 PDF BibTeX XML Cite \textit{G. S. Zhou} et al., Adv. Math. 372, Article ID 107292, 30 p. (2020; Zbl 1452.16033) Full Text: DOI arXiv OpenURL
Alahmadi, Adel; Alsulami, Hamed; Zelmanov, Efim On the Morita equivalence class of a finitely presented algebra. (English) Zbl 1487.16007 Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 751, 1-4 (2020). MSC: 16D90 16S15 PDF BibTeX XML Cite \textit{A. Alahmadi} et al., Contemp. Math. 751, 1--4 (2020; Zbl 1487.16007) Full Text: DOI arXiv OpenURL
Qiu, Jianjun; Chen, Yuqun Corrigendum to: “Free Rota-Baxter systems and a Hopf algebra structure”. (English) Zbl 1434.16012 Commun. Algebra 48, No. 4, 1819-1820 (2020). MSC: 16S15 13P10 17A50 16T25 16Z10 PDF BibTeX XML Cite \textit{J. Qiu} and \textit{Y. Chen}, Commun. Algebra 48, No. 4, 1819--1820 (2020; Zbl 1434.16012) Full Text: DOI OpenURL
Centrone, Lucio; Fındık, Şehmus The Nowicki conjecture for relatively free algebras. (English) Zbl 1454.16029 J. Algebra 552, 68-85 (2020). Reviewer: Victor Petrogradsky (Brasília) MSC: 16R10 16S15 16W25 13N15 13A50 PDF BibTeX XML Cite \textit{L. Centrone} and \textit{Ş. Fındık}, J. Algebra 552, 68--85 (2020; Zbl 1454.16029) Full Text: DOI arXiv OpenURL
Agnarsson, Geir; Mendelson, Samuel S. On a special presentation of matrix algebras. (English) Zbl 1431.16028 Int. Electron. J. Algebra 27, 13-42 (2020). MSC: 16S50 15B33 16S15 PDF BibTeX XML Cite \textit{G. Agnarsson} and \textit{S. S. Mendelson}, Int. Electron. J. Algebra 27, 13--42 (2020; Zbl 1431.16028) Full Text: arXiv Link OpenURL
Sestini, Filippo Normalization by evaluation for typed weak \(\lambda\)-reduction. (English) Zbl 07561491 Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019). MSC: 03B70 68N30 PDF BibTeX XML Cite \textit{F. Sestini}, LIPIcs -- Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019; Zbl 07561491) Full Text: DOI OpenURL
Ikebuchi, Mirai A lower bound of the number of rewrite rules obtained by homological methods. (English) Zbl 07559290 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 24, 17 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{M. Ikebuchi}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 24, 17 p. (2019; Zbl 07559290) Full Text: DOI OpenURL
Salimi, Arezoo; Sahebi, Shervin; Deldar, Mansoureh \(J\)-McCoy rings relative to a monoid. (English) Zbl 1464.16038 J. Math. Ext. 13, No. 4, 57-68 (2019). MSC: 16U99 16U20 16S36 16S15 PDF BibTeX XML Cite \textit{A. Salimi} et al., J. Math. Ext. 13, No. 4, 57--68 (2019; Zbl 1464.16038) Full Text: Link OpenURL
Hashemi, Ebrahim; Alhevaz, Abdollah Ore extension rings with constant products of elements. (English) Zbl 1455.16037 Kyungpook Math. J. 59, No. 4, 603-615 (2019). MSC: 16U99 13A99 16S15 PDF BibTeX XML Cite \textit{E. Hashemi} and \textit{A. Alhevaz}, Kyungpook Math. J. 59, No. 4, 603--615 (2019; Zbl 1455.16037) Full Text: DOI OpenURL
Furuya, Isamu; Kida, Takuya Compaction of Church numerals. (English) Zbl 1461.68076 Algorithms (Basel) 12, No. 8, Paper No. 159, 16 p. (2019). MSC: 68P30 03B40 68Q42 PDF BibTeX XML Cite \textit{I. Furuya} and \textit{T. Kida}, Algorithms (Basel) 12, No. 8, Paper No. 159, 16 p. (2019; Zbl 1461.68076) Full Text: DOI OpenURL
Kohl, Christina; Middeldorp, Aart Composing proof terms. (English) Zbl 07178985 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 337-353 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{C. Kohl} and \textit{A. Middeldorp}, Lect. Notes Comput. Sci. 11716, 337--353 (2019; Zbl 07178985) Full Text: DOI OpenURL
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio Confluence by critical pair analysis revisited. (English) Zbl 07178984 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 319-336 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{N. Hirokawa} et al., Lect. Notes Comput. Sci. 11716, 319--336 (2019; Zbl 07178984) Full Text: DOI arXiv Link OpenURL
Jeż, Artur Deciding context unification. (English) Zbl 1473.68103 J. ACM 66, No. 6, Article No. 39, 45 p. (2019). MSC: 68Q42 03B25 68Q25 PDF BibTeX XML Cite \textit{A. Jeż}, J. ACM 66, No. 6, Article No. 39, 45 p. (2019; Zbl 1473.68103) Full Text: DOI OpenURL
Ketema, Jeroen; Simonsen, Jakob Grue Computing with infinite terms and infinite reductions. (English) Zbl 1436.68156 Fundam. Inform. 170, No. 4, 339-365 (2019). MSC: 68Q42 PDF BibTeX XML Cite \textit{J. Ketema} and \textit{J. G. Simonsen}, Fundam. Inform. 170, No. 4, 339--365 (2019; Zbl 1436.68156) Full Text: DOI OpenURL
Small, Lance; Zelmanov, Efim Algebra of generic matrices is not coherent. (English) Zbl 1430.16026 Dani, Shrikrishna G. (ed.) et al., Contributions in algebra and algebraic geometry. International conference on algebra, discrete mathematics and applications, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, Maharashtra, India, December 9–11, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 738, 135-138 (2019). MSC: 16S15 16R10 16S50 PDF BibTeX XML Cite \textit{L. Small} and \textit{E. Zelmanov}, Contemp. Math. 738, 135--138 (2019; Zbl 1430.16026) Full Text: DOI OpenURL
Cohen, Arjeh M.; Wales, David B. Corrigendum to “Brauer algebras of simply laced type”. (English) Zbl 1428.20009 Isr. J. Math. 234, No. 1, 499-500 (2019). MSC: 20C08 16G20 20F55 16S15 PDF BibTeX XML Cite \textit{A. M. Cohen} and \textit{D. B. Wales}, Isr. J. Math. 234, No. 1, 499--500 (2019; Zbl 1428.20009) Full Text: DOI OpenURL
Zieliński, Bartosz A query language based on term matching and rewriting. (English) Zbl 1427.68135 Fundam. Inform. 169, No. 3, 237-274 (2019). MSC: 68Q42 68P15 68Q85 PDF BibTeX XML Cite \textit{B. Zieliński}, Fundam. Inform. 169, No. 3, 237--274 (2019; Zbl 1427.68135) Full Text: DOI OpenURL
Eeralla, Ajay K.; Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019). MSC: 68Q42 03B70 PDF BibTeX XML Cite \textit{A. K. Eeralla} et al., Lect. Notes Comput. Sci. 11417, 356--367 (2019; Zbl 1425.68161) Full Text: DOI Link OpenURL
Mayr, Peter; Ruškuc, Nik Generating subdirect products. (English) Zbl 1454.08011 J. Lond. Math. Soc., II. Ser. 100, No. 2, 404-424 (2019). Reviewer: Mikhail Volkov (Ekaterinburg) MSC: 08B26 08B10 16S15 20F05 PDF BibTeX XML Cite \textit{P. Mayr} and \textit{N. Ruškuc}, J. Lond. Math. Soc., II. Ser. 100, No. 2, 404--424 (2019; Zbl 1454.08011) Full Text: DOI arXiv OpenURL
Hashemi, Ebrahim; Alhevaz, Abdollah Undirected zero-divisor graphs and unique product monoid rings. (English) Zbl 1453.16040 Algebra Colloq. 26, No. 4, 665-676 (2019). Reviewer: T. Tamizh Chelvam (Tirunelveli) MSC: 16U99 13A99 16S15 05C12 PDF BibTeX XML Cite \textit{E. Hashemi} and \textit{A. Alhevaz}, Algebra Colloq. 26, No. 4, 665--676 (2019; Zbl 1453.16040) Full Text: DOI OpenURL
Atkarskaya, Agatha; Kanel-Belov, A.; Plotkin, Evgeny; Rips, Eliyahu Construction of a quotient ring of \(\mathbb{Z}_2\mathcal{F}\) in which a binomial \(1+w\) is invertible using small cancellation methods. (English) Zbl 1466.20031 Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University. Contemp. Math. 726, 1-76 (2019). MSC: 20F67 16S15 20F05 PDF BibTeX XML Cite \textit{A. Atkarskaya} et al., Contemp. Math. 726, 1--76 (2019; Zbl 1466.20031) Full Text: DOI arXiv OpenURL
Özalan, Nurten Urlu; Wazzan, Suha Ahmad; Karpuz, Eylem Güzel Gröbner-Shirshov bases for congruence classes of complex reflection groups. (English) Zbl 1432.16050 Asian-Eur. J. Math. 12, No. 6, Article ID 2040013, 30 p. (2019). MSC: 16Z10 16S15 20F05 20F36 20E22 PDF BibTeX XML Cite \textit{N. U. Özalan} et al., Asian-Eur. J. Math. 12, No. 6, Article ID 2040013, 30 p. (2019; Zbl 1432.16050) Full Text: DOI OpenURL
Nishida, Naoki; Vidal, Germán Characterizing compatible view updates in syntactic bidirectionalization. (English) Zbl 07118469 Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 67-83 (2019). MSC: 68Q05 68Q10 81P68 PDF BibTeX XML Cite \textit{N. Nishida} and \textit{G. Vidal}, Lect. Notes Comput. Sci. 11497, 67--83 (2019; Zbl 07118469) Full Text: DOI OpenURL
Qi, Xiuwen; Obul, Abdukadir Gröbner-Shirshov basis for Kauffman algebra. (English) Zbl 1438.13042 Adv. Math., Beijing 48, No. 2, 171-182 (2019). MSC: 13P10 16S15 PDF BibTeX XML Cite \textit{X. Qi} and \textit{A. Obul}, Adv. Math., Beijing 48, No. 2, 171--182 (2019; Zbl 1438.13042) OpenURL
Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah Abstract completion, formalized. (English) Zbl 07104927 Log. Methods Comput. Sci. 15, No. 3, Paper No. 19, 42 p. (2019). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{N. Hirokawa} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 19, 42 p. (2019; Zbl 07104927) Full Text: arXiv OpenURL
Ishizuki, Sayaka; Oyamaguchi, Michio; Sakai, Masahiko Conditions for confluence of innermost terminating term rewriting systems. (English) Zbl 1429.68088 Appl. Algebra Eng. Commun. Comput. 30, No. 4, 349-360 (2019). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Ishizuki} et al., Appl. Algebra Eng. Commun. Comput. 30, No. 4, 349--360 (2019; Zbl 1429.68088) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{G. Zhang}, Commun. Algebra 47, No. 4, 1671--1689 (2019; Zbl 1471.17013) Full Text: DOI arXiv OpenURL
Alahmadi, Adel; Alsulami, Hamed; Jain, S. K.; Zelmanov, Efim Matrix wreath products of algebras and embedding theorems. (English) Zbl 1478.16018 Trans. Am. Math. Soc. 372, No. 4, 2389-2406 (2019). MSC: 16S99 16N20 16N40 16P90 16S15 PDF BibTeX XML Cite \textit{A. Alahmadi} et al., Trans. Am. Math. Soc. 372, No. 4, 2389--2406 (2019; Zbl 1478.16018) Full Text: DOI arXiv OpenURL
Ladra, Manuel; Shahryari, Mohammad; Zargeh, Chia HNN-extensions of Leibniz algebras. (English) Zbl 1473.17009 J. Algebra 532, 183-200 (2019). Reviewer: Guy Biyogmam (Milledgeville) MSC: 17A32 17A36 17B30 16S15 PDF BibTeX XML Cite \textit{M. Ladra} et al., J. Algebra 532, 183--200 (2019; Zbl 1473.17009) Full Text: DOI OpenURL
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel Projections for infinitary rewriting (extended version). (English) Zbl 1423.68235 Theor. Comput. Sci. 781, 92-110 (2019). MSC: 68Q42 PDF BibTeX XML Cite \textit{C. Lombardi} et al., Theor. Comput. Sci. 781, 92--110 (2019; Zbl 1423.68235) Full Text: DOI OpenURL
Boichut, Yohan; Chabin, Jacques; Réty, Pierre Towards more precise rewriting approximations. (English) Zbl 1425.68154 J. Comput. Syst. Sci. 104, 131-148 (2019). MSC: 68Q42 68N17 68Q45 PDF BibTeX XML Cite \textit{Y. Boichut} et al., J. Comput. Syst. Sci. 104, 131--148 (2019; Zbl 1425.68154) Full Text: DOI OpenURL
Vágvölgyi, Sándor Some decidability results on one-pass reductions. (English) Zbl 1429.68094 J. Log. Algebr. Methods Program. 105, 47-74 (2019). Reviewer: Magnus Steinby (Turku) MSC: 68Q42 68Q45 PDF BibTeX XML Cite \textit{S. Vágvölgyi}, J. Log. Algebr. Methods Program. 105, 47--74 (2019; Zbl 1429.68094) Full Text: DOI OpenURL
Zhang, Zerui; Chen, Yuqun; Bokut, Leonid A. Free Gelfand-Dorfman-Novikov superalgebras and a Poincaré-Birkhoff-Witt type theorem. (English) Zbl 1444.17001 Int. J. Algebra Comput. 29, No. 3, 481-505 (2019). MSC: 17A70 17A30 16S15 17B30 PDF BibTeX XML Cite \textit{Z. Zhang} et al., Int. J. Algebra Comput. 29, No. 3, 481--505 (2019; Zbl 1444.17001) Full Text: DOI OpenURL
Mo, Qiuhui Embedding theorems for \(L\)-algebras and anti-commutative algebras. (English) Zbl 1411.17004 Algebra Colloq. 26, No. 1, 51-64 (2019). MSC: 17A01 13P10 17D99 16S15 PDF BibTeX XML Cite \textit{Q. Mo}, Algebra Colloq. 26, No. 1, 51--64 (2019; Zbl 1411.17004) Full Text: DOI OpenURL
Chenavier, Cyrille A lattice formulation of the noncommutative \(F_4\) procedure. (English) Zbl 1417.06006 Int. J. Algebra Comput. 29, No. 1, 23-40 (2019). MSC: 06B99 06-04 13P10 68W30 16S15 16Z05 PDF BibTeX XML Cite \textit{C. Chenavier}, Int. J. Algebra Comput. 29, No. 1, 23--40 (2019; Zbl 1417.06006) Full Text: DOI OpenURL
Meçel, Arkadiusz; Okniński, Jan Growth alternative for Hecke-Kiselman monoids. (English) Zbl 1407.16020 Publ. Mat., Barc. 63, No. 1, 219-240 (2019). MSC: 16P90 16S15 16S36 16S99 20M05 PDF BibTeX XML Cite \textit{A. Meçel} and \textit{J. Okniński}, Publ. Mat., Barc. 63, No. 1, 219--240 (2019; Zbl 1407.16020) Full Text: DOI Euclid OpenURL
Zhang, Zerui; Chen, Yuqun; Bokut, Leonid A. Some algorithmic problems for Poisson algebras. (English) Zbl 1462.17024 J. Algebra 525, 562-588 (2019). MSC: 17B63 16S15 13P10 PDF BibTeX XML Cite \textit{Z. Zhang} et al., J. Algebra 525, 562--588 (2019; Zbl 1462.17024) Full Text: DOI OpenURL
Tuniyaz, Rabigul; Obul, Abdukadir Gröbner-Shirshov basis method for multiple tensor products of some associative algebras. (English) Zbl 1406.16023 Asian-Eur. J. Math. 12, No. 1, Article ID 1950015, 14 p. (2019). MSC: 16S15 13P10 17A01 PDF BibTeX XML Cite \textit{R. Tuniyaz} and \textit{A. Obul}, Asian-Eur. J. Math. 12, No. 1, Article ID 1950015, 14 p. (2019; Zbl 1406.16023) Full Text: DOI OpenURL
Cantuba, Rafael Reno S. Lie polynomials in \(q\)-deformed Heisenberg algebras. (English) Zbl 1458.17012 J. Algebra 522, 101-123 (2019). MSC: 17B60 17B37 16S15 05A30 PDF BibTeX XML Cite \textit{R. R. S. Cantuba}, J. Algebra 522, 101--123 (2019; Zbl 1458.17012) Full Text: DOI arXiv OpenURL
Chenavier, Cyrille Syzygies among reduction operators. (English) Zbl 1445.16020 J. Pure Appl. Algebra 223, No. 2, 721-737 (2019). MSC: 16S15 16Z10 16S37 PDF BibTeX XML Cite \textit{C. Chenavier}, J. Pure Appl. Algebra 223, No. 2, 721--737 (2019; Zbl 1445.16020) Full Text: DOI arXiv OpenURL
Kohl, Christina; Middeldorp, Aart ProTeM: a proof term manipulator (system description). (English) Zbl 1462.68218 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018). MSC: 68V15 68Q42 PDF BibTeX XML Cite \textit{C. Kohl} and \textit{A. Middeldorp}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018; Zbl 1462.68218) Full Text: DOI OpenURL
Nishida, Naoki; Maeda, Yuya Narrowing trees for syntactically deterministic conditional term rewriting systems. (English) Zbl 1462.68097 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 26, 20 p. (2018). MSC: 68Q42 PDF BibTeX XML Cite \textit{N. Nishida} and \textit{Y. Maeda}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 26, 20 p. (2018; Zbl 1462.68097) Full Text: DOI OpenURL
Genet, Thomas Completeness of tree automata completion. (English) Zbl 1462.68096 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 16, 20 p. (2018). MSC: 68Q42 68N18 68Q45 PDF BibTeX XML Cite \textit{T. Genet}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 16, 20 p. (2018; Zbl 1462.68096) Full Text: DOI OpenURL
Czajka, Lukasz Term rewriting characterisation of LOGSPACE for finite and infinite data. (English) Zbl 1462.68093 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 13, 19 p. (2018). MSC: 68Q42 68Q15 PDF BibTeX XML Cite \textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 13, 19 p. (2018; Zbl 1462.68093) Full Text: DOI OpenURL
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Term-graph anti-unification. (English) Zbl 1462.68091 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018). MSC: 68Q42 68R10 PDF BibTeX XML Cite \textit{A. Baumgartner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018; Zbl 1462.68091) Full Text: DOI OpenURL