Nyberg-Brodda, Carl-Fredrik Non-finitely generated maximal subgroups of context-free monoids. (English) Zbl 07622355 J. Algebra 616, 227-238 (2023). MSC: 20F10 20F05 68R15 68Q42 PDF BibTeX XML Cite \textit{C.-F. Nyberg-Brodda}, J. Algebra 616, 227--238 (2023; Zbl 07622355) Full Text: DOI arXiv OpenURL
Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. (English) Zbl 07618126 J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Olarte} et al., J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023; Zbl 07618126) Full Text: DOI arXiv OpenURL
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications. (English) Zbl 07618121 J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Kosiol} and \textit{G. Taentzer}, J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023; Zbl 07618121) Full Text: DOI OpenURL
Baruch, Gilad; Klein, Shmuel T.; Shapira, Dana Guided blocks WOM codes. (English) Zbl 07609051 Inf. Process. Lett. 179, Article ID 106312, 7 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{G. Baruch} et al., Inf. Process. Lett. 179, Article ID 106312, 7 p. (2023; Zbl 07609051) Full Text: DOI OpenURL
Csirmaz, Előd P.; Csirmaz, László Algebra of data reconciliation. (English) Zbl 07644707 Stud. Sci. Math. Hung. 59, No. 3-4, 209-231 (2022). MSC: 08A02 08A70 68M07 68P05 PDF BibTeX XML Cite \textit{E. P. Csirmaz} and \textit{L. Csirmaz}, Stud. Sci. Math. Hung. 59, No. 3--4, 209--231 (2022; Zbl 07644707) Full Text: DOI arXiv OpenURL
Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg Algebraic coherent confluence and higher globular Kleene algebras. (English) Zbl 07639917 Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{C. Calk} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 9, 43 p. (2022; Zbl 07639917) Full Text: DOI arXiv OpenURL
Claesson, Anders From Hertzsprung’s problem to pattern-rewriting systems. (English) Zbl 07635156 Algebr. Comb. 5, No. 6, 1257-1277 (2022). MSC: 05A05 05A15 68R05 68R15 68Q42 PDF BibTeX XML Cite \textit{A. Claesson}, Algebr. Comb. 5, No. 6, 1257--1277 (2022; Zbl 07635156) Full Text: DOI arXiv OpenURL
Hamana, Makoto Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. (English) Zbl 07634877 Math. Struct. Comput. Sci. 32, No. 4, 542-573 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Hamana}, Math. Struct. Comput. Sci. 32, No. 4, 542--573 (2022; Zbl 07634877) Full Text: DOI OpenURL
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. (English) Zbl 07634876 Math. Struct. Comput. Sci. 32, No. 4, 511-541 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Bonchi} et al., Math. Struct. Comput. Sci. 32, No. 4, 511--541 (2022; Zbl 07634876) Full Text: DOI arXiv OpenURL
Yamada, Akihisa Tuple interpretations for termination of term rewriting. (English) Zbl 07632089 J. Autom. Reasoning 66, No. 4, 667-688 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Yamada}, J. Autom. Reasoning 66, No. 4, 667--688 (2022; Zbl 07632089) Full Text: DOI OpenURL
Leidinger, Hendrik; Weidenbach, Christoph SCL(EQ): SCL for first-order logic with equality. (English) Zbl 07628190 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 228-247 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{H. Leidinger} and \textit{C. Weidenbach}, Lect. Notes Comput. Sci. 13385, 228--247 (2022; Zbl 07628190) Full Text: DOI arXiv OpenURL
Earley, Hannah The \(\aleph \)-calculus. A declarative model of reversible programming. (English) Zbl 07615948 Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 164-171 (2022). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{H. Earley}, Lect. Notes Comput. Sci. 13354, 164--171 (2022; Zbl 07615948) Full Text: DOI arXiv OpenURL
Latteux, Michel; Roos, Yves On rationally controlled one-rule insertion systems. (English) Zbl 07609841 RAIRO, Theor. Inform. Appl. 56, Paper No. 8, 31 p. (2022). MSC: 68Q45 68Q42 68R15 PDF BibTeX XML Cite \textit{M. Latteux} and \textit{Y. Roos}, RAIRO, Theor. Inform. Appl. 56, Paper No. 8, 31 p. (2022; Zbl 07609841) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{F. Baader} and \textit{D. Kapur}, J. Autom. Reasoning 66, No. 3, 301--329 (2022; Zbl 07606341) Full Text: DOI OpenURL
Lye, Aaron Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. (English) Zbl 07601282 Inf. Comput. 288, Article ID 104889, 22 p. (2022). MSC: 68Q42 PDF BibTeX XML Cite \textit{A. Lye}, Inf. Comput. 288, Article ID 104889, 22 p. (2022; Zbl 07601282) Full Text: DOI OpenURL
First, Uriya A.; Reichstein, Zinovy; Williams, Ben On the number of generators of an algebra over a commutative ring. (English) Zbl 07599884 Trans. Am. Math. Soc. 375, No. 10, 7277-7321 (2022). MSC: 16H05 14L30 16S15 14F25 55R40 17A36 13E15 20G10 14M17 PDF BibTeX XML Cite \textit{U. A. First} et al., Trans. Am. Math. Soc. 375, No. 10, 7277--7321 (2022; Zbl 07599884) Full Text: DOI arXiv OpenURL
Ghadbane, Nacer On public key cryptosystem based on the word problem in a group. (English) Zbl 07597248 J. Discrete Math. Sci. Cryptography 25, No. 6, 1563-1568 (2022). MSC: 68Q42 20M05 PDF BibTeX XML Cite \textit{N. Ghadbane}, J. Discrete Math. Sci. Cryptography 25, No. 6, 1563--1568 (2022; Zbl 07597248) Full Text: DOI OpenURL
Ikebuchi, Mirai A lower bound of the number of rewrite rules obtained by homological methods. (English) Zbl 07596584 Log. Methods Comput. Sci. 18, No. 3, Paper No. 36, 25 p. (2022). MSC: 18Nxx 20Fxx 68Q42 03B70 PDF BibTeX XML Cite \textit{M. Ikebuchi}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 36, 25 p. (2022; Zbl 07596584) Full Text: DOI arXiv OpenURL
Li, C.-C.; Zhou, G.-S. The structure of connected (graded) Hopf algebras revisited. (English) Zbl 07588374 J. Algebra 610, 684-702 (2022). Reviewer: Can Hatipoglu (Egaila) MSC: 16T05 68R15 16P90 16S15 16W50 PDF BibTeX XML Cite \textit{C. C. Li} and \textit{G. S. Zhou}, J. Algebra 610, 684--702 (2022; Zbl 07588374) Full Text: DOI arXiv OpenURL
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Verlan, Sergey Regulated insertion-deletion systems. (English) Zbl 07584595 J. Autom. Lang. Comb. 27, No. 1-3, 15-45 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Alhazov} et al., J. Autom. Lang. Comb. 27, No. 1--3, 15--45 (2022; Zbl 07584595) Full Text: Link OpenURL
Shojaei-Fard, Ali Non-perturbative graph languages, halting problem and complexity. (English) Zbl 07583895 Forum Math. 34, No. 5, 1159-1185 (2022). MSC: 03D80 05C63 68Q42 68Q45 81T18 PDF BibTeX XML Cite \textit{A. Shojaei-Fard}, Forum Math. 34, No. 5, 1159--1185 (2022; Zbl 07583895) Full Text: DOI OpenURL
Cantuba, Rafael Reno S. Lie polynomials in an algebra defined by a linearly twisted commutation relation. (English) Zbl 07583462 J. Algebra Appl. 21, No. 9, Article ID 2250175, 14 p. (2022). MSC: 16S15 17B60 47C99 47L15 PDF BibTeX XML Cite \textit{R. R. S. Cantuba}, J. Algebra Appl. 21, No. 9, Article ID 2250175, 14 p. (2022; Zbl 07583462) Full Text: DOI arXiv OpenURL
Findik, Şehmus Symmetric polynomials in the free metabelian associative algebra of rank 2. (English) Zbl 07582962 Turk. J. Math. 46, No. 5, SI-2, 1809-1813 (2022). MSC: 17B01 17B30 16S15 PDF BibTeX XML Cite \textit{Ş. Findik}, Turk. J. Math. 46, No. 5, 1809--1813 (2022; Zbl 07582962) Full Text: DOI OpenURL
Centrone, Lucio; Dushimirimana, Andre; Findik, Şehmus On Nowicki’s conjecture: a survey and a new result. (English) Zbl 07582957 Turk. J. Math. 46, No. 5, SI-2, 1709-1734 (2022). MSC: 17B01 17B30 16S15 PDF BibTeX XML Cite \textit{L. Centrone} et al., Turk. J. Math. 46, No. 5, 1709--1734 (2022; Zbl 07582957) Full Text: DOI arXiv OpenURL
Fujioka, Kaoru; Okubo, Fumiya; Yokomori, Takashi \(\mathcal{L}\)-reduction computation revisited. (English) Zbl 07578093 Acta Inf. 59, No. 4, 409-426 (2022). MSC: 68Q42 68Q45 68Q04 PDF BibTeX XML Cite \textit{K. Fujioka} et al., Acta Inf. 59, No. 4, 409--426 (2022; Zbl 07578093) Full Text: DOI OpenURL
Gu, Ying; Zhao, Xuezhi Geometric intersections of loops on surfaces. (English) Zbl 1497.55003 Topology Appl. 318, Article ID 108205, 23 p. (2022). Reviewer: João Peres Vieira (Rio Claro) MSC: 55M20 16S15 13P10 57M05 PDF BibTeX XML Cite \textit{Y. Gu} and \textit{X. Zhao}, Topology Appl. 318, Article ID 108205, 23 p. (2022; Zbl 1497.55003) Full Text: DOI arXiv OpenURL
Bae, Kyungmin (ed.) Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. (English) Zbl 1499.68008 Lecture Notes in Computer Science 13252. Cham: Springer (ISBN 978-3-031-12440-2/pbk; 978-3-031-12441-9/ebook). viii, 295 p. (2022). MSC: 68-06 68Q42 00B25 PDF BibTeX XML Cite \textit{K. Bae} (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2--3, 2022. Revised selected papers. Cham: Springer (2022; Zbl 1499.68008) Full Text: DOI OpenURL
Zhang, Shujun; Nishida, Naoki On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 262-281 (2022). MSC: 03B35 PDF BibTeX XML Cite \textit{S. Zhang} and \textit{N. Nishida}, Lect. Notes Comput. Sci. 13215, 262--281 (2022; Zbl 07570125) Full Text: DOI OpenURL
Nuno Macedo, José; Viera, Marcos; Saraiva, João Zipping strategies and attribute grammars. (English) Zbl 07570117 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 112-132 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{J. Nuno Macedo} et al., Lect. Notes Comput. Sci. 13215, 112--132 (2022; Zbl 07570117) Full Text: DOI arXiv OpenURL
Fernau, Henning; Kuppusamy, Lakshmanan; Oladele, Rufus O.; Raman, Indhumathi Improved descriptional complexity results on generalized forbidding grammars. (English) Zbl 07567735 Discrete Appl. Math. 319, 2-18 (2022). MSC: 68Q42 PDF BibTeX XML Cite \textit{H. Fernau} et al., Discrete Appl. Math. 319, 2--18 (2022; Zbl 07567735) Full Text: DOI OpenURL
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
Behr, Nicolas (ed.); Strüber, Daniel (ed.) Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. (English) Zbl 1499.68009 Lecture Notes in Computer Science 13349. Cham: Springer (ISBN 978-3-031-09842-0/pbk; 978-3-031-09843-7/ebook). xii, 207 p. (2022). MSC: 68-06 68Q42 00B25 PDF BibTeX XML Cite \textit{N. Behr} (ed.) and \textit{D. Strüber} (ed.), Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7--8, 2022. Proceedings. Cham: Springer (2022; Zbl 1499.68009) Full Text: DOI OpenURL
Zeschke, Yorick Growth functions, rates and classes of string-based multiway systems. (English) Zbl 1491.68094 Complex Syst. 31, No. 1, 123-164 (2022). MSC: 68Q42 PDF BibTeX XML Cite \textit{Y. Zeschke}, Complex Syst. 31, No. 1, 123--164 (2022; Zbl 1491.68094) 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). Reviewer: Dmitry Artamonov (Moskva) 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 arXiv 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 arXiv OpenURL
Aroca, Julio; Cumplido, María A new family of infinitely braided Thompson’s groups. (English) Zbl 07552687 J. Algebra 607, Part B, 5-34 (2022). MSC: 20F65 20F05 20F36 PDF BibTeX XML Cite \textit{J. Aroca} and \textit{M. Cumplido}, J. Algebra 607, 5--34 (2022; Zbl 07552687) Full Text: DOI arXiv OpenURL
Pomares-Angelino, Román; López-Mellado, Ernesto Discovering Petri nets including silent transitions. A repairing approach based on structural patterns. (English) Zbl 1492.93113 Discrete Event Dyn. Syst. 32, No. 2, 291-315 (2022). MSC: 93C65 PDF BibTeX XML Cite \textit{R. Pomares-Angelino} and \textit{E. López-Mellado}, Discrete Event Dyn. Syst. 32, No. 2, 291--315 (2022; Zbl 1492.93113) Full Text: DOI OpenURL
Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron Transformation of variants of Petri nets into context-dependent fusion grammars. (English) Zbl 1487.68139 Inf. Comput. 286, Article ID 104780, 15 p. (2022). MSC: 68Q42 68Q45 68Q85 PDF BibTeX XML Cite \textit{H.-J. Kreowski} et al., Inf. Comput. 286, Article ID 104780, 15 p. (2022; Zbl 1487.68139) Full Text: DOI OpenURL
Jirásková, Galina; Klíma, Ondřej On linear languages recognized by deterministic biautomata. (English) Zbl 1487.68148 Inf. Comput. 286, Article ID 104778, 22 p. (2022). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{G. Jirásková} and \textit{O. Klíma}, Inf. Comput. 286, Article ID 104778, 22 p. (2022; Zbl 1487.68148) Full Text: DOI OpenURL
Boneva, Iovka; Niehren, Joachim; Sakho, Momar Regular matching and inclusion on compressed tree patterns with constrained context variables. (English) Zbl 1487.68141 Inf. Comput. 286, Article ID 104776, 25 p. (2022). MSC: 68Q45 68Q25 68Q42 PDF BibTeX XML Cite \textit{I. Boneva} et al., Inf. Comput. 286, Article ID 104776, 25 p. (2022; Zbl 1487.68141) Full Text: DOI Link OpenURL
Kavanagh, Ryan Fairness and communication-based semantics for session-typed languages. (English) Zbl 07538338 Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Kavanagh}, Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022; Zbl 07538338) Full Text: DOI arXiv OpenURL
Bai, Yuxiu; Chen, Yuqun Gröbner-Shirshov bases theory for Leibniz superalgebras. (English) Zbl 1495.17004 Commun. Algebra 50, No. 8, 3524-3542 (2022). Reviewer: Chia Zargeh (São Paulo) 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 1495.17004) Full Text: DOI arXiv 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
Asăvoae, Irina Măriuca; Shirazi, Ramtine Tofighi; Riesco, Adrián; Yasuyoshi, Uemura Hardware Trojan detection via rewriting logic. (English) Zbl 07531438 J. Log. Algebr. Methods Program. 127, Article ID 100762, 19 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{I. M. Asăvoae} et al., J. Log. Algebr. Methods Program. 127, Article ID 100762, 19 p. (2022; Zbl 07531438) Full Text: DOI OpenURL
Tamaroff, Pedro Resolutions of operads via Koszul (bi)algebras. (English) Zbl 1496.18022 J. Homotopy Relat. Struct. 17, No. 2, 175-200 (2022). Reviewer: Loïc Foissy (Calais) MSC: 18M60 16S15 18M70 18N40 PDF BibTeX XML Cite \textit{P. Tamaroff}, J. Homotopy Relat. Struct. 17, No. 2, 175--200 (2022; Zbl 1496.18022) Full Text: DOI OpenURL
Xie, Jiaxi; Ehmann, Kornel; Cao, Jian MetaFEM: a generic FEM solver by meta-expressions. (English) Zbl 07526219 Comput. Methods Appl. Mech. Eng. 394, Article ID 114907, 22 p. (2022). MSC: 68-XX 65-XX PDF BibTeX XML Cite \textit{J. Xie} et al., Comput. Methods Appl. Mech. Eng. 394, Article ID 114907, 22 p. (2022; Zbl 07526219) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Draper, Thomas L.; Nielsen, Pace P.; Šter, Janez Nilpotent polynomials and nilpotent coefficients. (English) Zbl 1496.16020 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 1496.16020) Full Text: DOI OpenURL
Freund, Anton; Rathjen, Michael; Weiermann, Andreas Minimal bad sequences are necessary for a uniform Kruskal theorem. (English) Zbl 07507731 Adv. Math. 400, Article ID 108265, 44 p. (2022). MSC: 03B30 05C05 06A07 68Q42 03F35 PDF BibTeX XML Cite \textit{A. Freund} et al., Adv. Math. 400, Article ID 108265, 44 p. (2022; Zbl 07507731) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{B. Dupont}, J. Algebra 601, 1--53 (2022; Zbl 1491.18001) Full Text: DOI arXiv OpenURL
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio String diagram rewrite theory. I: Rewriting with Frobenius structure. (English) Zbl 1497.68239 J. ACM 69, No. 2, Article No. 14, 58 p. (2022). MSC: 68Q42 18M30 PDF BibTeX XML Cite \textit{F. Bonchi} et al., J. ACM 69, No. 2, Article No. 14, 58 p. (2022; Zbl 1497.68239) Full Text: DOI arXiv 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 arXiv 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 arXiv 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
Vu, Martin; Fernau, Henning Insertion-deletion systems with substitutions. I. (English) Zbl 1490.68132 Computability 11, No. 1, 57-83 (2022). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Vu} and \textit{H. Fernau}, Computability 11, No. 1, 57--83 (2022; Zbl 1490.68132) Full Text: DOI OpenURL
Elias, Ben A diamond lemma for Hecke-type algebras. (English) Zbl 1497.20044 Trans. Am. Math. Soc. 375, No. 3, 1883-1915 (2022). Reviewer: Philippe Malbos (Lyon) MSC: 20F55 16S15 20C08 16G20 PDF BibTeX XML Cite \textit{B. Elias}, Trans. Am. Math. Soc. 375, No. 3, 1883--1915 (2022; Zbl 1497.20044) Full Text: DOI arXiv OpenURL
Delpeuch, Antonin; Vicary, Jamie Normalization for planar string diagrams and a quadratic equivalence algorithm. (English) Zbl 07471699 Log. Methods Comput. Sci. 18, No. 1, Paper No. 10, 38 p. (2022). Reviewer: Philippe Malbos (Lyon) MSC: 18M30 68Q42 PDF BibTeX XML Cite \textit{A. Delpeuch} and \textit{J. Vicary}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 10, 38 p. (2022; Zbl 07471699) Full Text: arXiv Link OpenURL
Elder, Murray; Piggott, Adam Rewriting systems, plain groups, and geodetic graphs. (English) Zbl 07467472 Theor. Comput. Sci. 903, 134-144 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Elder} and \textit{A. Piggott}, Theor. Comput. Sci. 903, 134--144 (2022; Zbl 07467472) Full Text: DOI arXiv OpenURL
Hage, Nohra; Malbos, Philippe Chinese syzygies by insertions. (English) Zbl 07463827 Semigroup Forum 104, No. 1, 88-108 (2022). MSC: 20Mxx PDF BibTeX XML Cite \textit{N. Hage} and \textit{P. Malbos}, Semigroup Forum 104, No. 1, 88--108 (2022; Zbl 07463827) 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: 16P90 16S15 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
Fülöp, Zoltán; Vogler, Heiko Principal abstract families of weighted tree languages. (English) Zbl 07452657 Inf. Comput. 282, Article ID 104657, 33 p. (2022). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{Z. Fülöp} and \textit{H. Vogler}, Inf. Comput. 282, Article ID 104657, 33 p. (2022; Zbl 07452657) Full Text: DOI OpenURL
Andrianarivelo, Nirina; Réty, Pierre Modular termination of prefix-constrained term rewrite systems. (English) Zbl 07444821 Inf. Process. Lett. 174, Article ID 106207, 6 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{N. Andrianarivelo} and \textit{P. Réty}, Inf. Process. Lett. 174, Article ID 106207, 6 p. (2022; Zbl 07444821) Full Text: DOI OpenURL
Hosseini, S. N.; Yeganeh, L. Partial pullback complement rewriting along admissible matches. (English) Zbl 1478.68114 Theor. Comput. Sci. 898, 149-179 (2022). MSC: 68Q42 18A30 18B50 PDF BibTeX XML Cite \textit{S. N. Hosseini} and \textit{L. Yeganeh}, Theor. Comput. Sci. 898, 149--179 (2022; Zbl 1478.68114) Full Text: DOI OpenURL
Coecke, Bob; Horsman, Dominic; Kissinger, Aleks; Wang, Quanlong Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. (English) Zbl 1484.81023 Theor. Comput. Sci. 897, 1-22 (2022). MSC: 81P68 68R10 97N60 68Q06 PDF BibTeX XML Cite \textit{B. Coecke} et al., Theor. Comput. Sci. 897, 1--22 (2022; Zbl 1484.81023) Full Text: DOI arXiv OpenURL
Kuhlmann, Marco; Maletti, Andreas; Schiffer, Lena Katharina The tree-generative capacity of combinatory categorial grammars. (English) Zbl 1485.68130 J. Comput. Syst. Sci. 124, 214-233 (2022). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q42 03B65 68Q45 PDF BibTeX XML Cite \textit{M. Kuhlmann} et al., J. Comput. Syst. Sci. 124, 214--233 (2022; Zbl 1485.68130) Full Text: DOI OpenURL
Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. Optimization of rewrite theories by equational partial evaluation. (English) Zbl 1477.68136 J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022). MSC: 68Q42 68N19 68Q85 PDF BibTeX XML Cite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022; Zbl 1477.68136) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Metalevel transformation of strategies. (English) Zbl 07432502 J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022; Zbl 07432502) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Simulating and model checking membrane systems using strategies in Maude. (English) Zbl 07432501 J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022). MSC: 68Q07 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022; Zbl 07432501) Full Text: DOI OpenURL
Chen, William Y. C.; Fu, Amy M. A context-free grammar for the \(e\)-positivity of the trivariate second-order Eulerian polynomials. (English) Zbl 1476.05006 Discrete Math. 345, No. 1, Article ID 112661, 9 p. (2022). MSC: 05A05 11B68 68Q42 PDF BibTeX XML Cite \textit{W. Y. C. Chen} and \textit{A. M. Fu}, Discrete Math. 345, No. 1, Article ID 112661, 9 p. (2022; Zbl 1476.05006) Full Text: DOI arXiv OpenURL
Ganardi, Moses; Jeż, Artur; Lohrey, Markus Balancing straight-line programs. (English) Zbl 1499.68162 J. ACM 68, No. 4, Paper No. 27, 40 p. (2021). MSC: 68Q42 68P30 PDF BibTeX XML Cite \textit{M. Ganardi} et al., J. ACM 68, No. 4, Paper No. 27, 40 p. (2021; Zbl 1499.68162) Full Text: DOI arXiv OpenURL
Schork, Matthias Recent developments in combinatorial aspects of normal ordering. (English) Zbl 1499.05045 Enumer. Comb. Appl. 1, No. 2, Article ID S2S2, 40 p. (2021). MSC: 05A15 05A05 05A10 05A19 05C20 05C30 11B73 11B75 13N15 16S15 16S32 16T30 PDF BibTeX XML Cite \textit{M. Schork}, Enumer. Comb. Appl. 1, No. 2, Article ID S2S2, 40 p. (2021; Zbl 1499.05045) Full Text: DOI OpenURL
Kharal, Athar; Alshehri, Mansoor H.; Turki, Nasser Bin; Duraihem, Faisal Z. Generalized mapping for multiset rewriting systems. (English) Zbl 1498.68131 Soft Comput. 25, No. 17, 11439-11448 (2021). MSC: 68Q42 03E20 03E72 PDF BibTeX XML Cite \textit{A. Kharal} et al., Soft Comput. 25, No. 17, 11439--11448 (2021; Zbl 1498.68131) Full Text: DOI OpenURL
Jabeen, Saudia; Noor, Muhammad Aslam; Noor, Khalida Inayat Some new inertial projection methods for quasi variational inequalities. (English) Zbl 07616073 Appl. Math. E-Notes 21, 172-178 (2021). MSC: 20F05 20F10 20F55 68Q42 PDF BibTeX XML Cite \textit{S. Jabeen} et al., Appl. Math. E-Notes 21, 172--178 (2021; Zbl 07616073) Full Text: Link OpenURL
Çetinalp, Esra Kirmizi; Karpuz, Eylem Güzel Crossed product of infinite groups and complete rewriting systems. (English) Zbl 07577167 Turk. J. Math. 45, No. 1, 410-422 (2021). Reviewer: Fabienne Chouraqui (Haifa) MSC: 20E22 20M05 16S15 PDF BibTeX XML Cite \textit{E. K. Çetinalp} and \textit{E. G. Karpuz}, Turk. J. Math. 45, No. 1, 410--422 (2021; Zbl 07577167) Full Text: DOI OpenURL
Cravo, Diogo Raphael; Ribeiro, Leila Module integration using graph grammars (MIGRATE). (English) Zbl 1498.68072 Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 87-103 (2021). MSC: 68N30 68Q42 PDF BibTeX XML Cite \textit{D. R. Cravo} and \textit{L. Ribeiro}, Lect. Notes Comput. Sci. 13130, 87--103 (2021; Zbl 1498.68072) Full Text: DOI Link OpenURL
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn On the complexity of verification of time-sensitive distributed systems. (English) Zbl 1498.68161 Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 251-275 (2021). MSC: 68Q60 68M14 68Q25 68Q42 PDF BibTeX XML Cite \textit{M. Kanovich} et al., Lect. Notes Comput. Sci. 13066, 251--275 (2021; Zbl 1498.68161) Full Text: DOI arXiv OpenURL
Ceterchi, Rodica; Zhang, Luping; Subramanian, K. G.; Zhang, Gexiang Hilbert words as arrays generated with P systems. (English) Zbl 1490.68097 J. Membr. Comput. 3, No. 3, 163-169 (2021). MSC: 68Q07 68Q42 68U05 PDF BibTeX XML Cite \textit{R. Ceterchi} et al., J. Membr. Comput. 3, No. 3, 163--169 (2021; Zbl 1490.68097) Full Text: DOI OpenURL
Zaman, Baddi Ul; Chen, Yuqun; Yang, Mingmei Gröbner-Shirshov bases for free idempotent monoids. (English) Zbl 1499.16163 Southeast Asian Bull. Math. 45, No. 5, 759-774 (2021). MSC: 16Z10 16S15 13P10 20M05 PDF BibTeX XML Cite \textit{B. U. Zaman} et al., Southeast Asian Bull. Math. 45, No. 5, 759--774 (2021; Zbl 1499.16163) Full Text: Link OpenURL
Behr, Nicolas; Krivine, Jean Compositionality of rewriting rules with conditions. (English) Zbl 1490.68124 Compositionality 3, No. 2, 51 p. (2021). MSC: 68Q42 18A30 18B50 PDF BibTeX XML Cite \textit{N. Behr} and \textit{J. Krivine}, Compositionality 3, No. 2, 51 p. (2021; Zbl 1490.68124) Full Text: DOI arXiv OpenURL
Alur, Rajeev; Fisman, Dana Colored nested words. (English) Zbl 1492.68076 Form. Methods Syst. Des. 58, No. 3, 347-374 (2021). MSC: 68Q45 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Alur} and \textit{D. Fisman}, Form. Methods Syst. Des. 58, No. 3, 347--374 (2021; Zbl 1492.68076) Full Text: DOI OpenURL
Szabo, Peter; Siekmann, Jörg E-unification based on generalized embedding. (English) Zbl 1489.68117 Math. Struct. Comput. Sci. 31, No. 8, 898-917 (2021). MSC: 68Q42 08A70 PDF BibTeX XML Cite \textit{P. Szabo} and \textit{J. Siekmann}, Math. Struct. Comput. Sci. 31, No. 8, 898--917 (2021; Zbl 1489.68117) Full Text: DOI 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). Reviewer: Wenchao Zhang (Huizhou) 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 arXiv OpenURL
van Eerd, Johri; Groote, Jan Friso; Hijma, Pieter; Martens, Jan; Wijs, Anton Term rewriting on GPUs. (English) Zbl 1496.68168 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 175-189 (2021). MSC: 68Q42 68W10 PDF BibTeX XML Cite \textit{J. van Eerd} et al., Lect. Notes Comput. Sci. 12818, 175--189 (2021; Zbl 1496.68168) Full Text: DOI arXiv OpenURL
Díaz-Domínguez, Diego; Navarro, Gonzalo; Pacheco, Alejandro An LMS-based grammar self-index with local consistency properties. (English) Zbl 07542415 Lecroq, Thierry (ed.) et al., String processing and information retrieval. 28th international symposium, SPIRE 2021, Lille, France, October 4–6, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12944, 100-113 (2021). MSC: 68P20 68P30 68Q42 PDF BibTeX XML Cite \textit{D. Díaz-Domínguez} et al., Lect. Notes Comput. Sci. 12944, 100--113 (2021; Zbl 07542415) Full Text: DOI OpenURL
Fogarasi, Kinga; Nagy, Benedek Notes of the NP-completeness of the membership problem of ET0L languages. (English) Zbl 1499.68161 C. R. Acad. Bulg. Sci. 74, No. 7, 964-971 (2021). Reviewer: Angela Slavova (Sofia) MSC: 68Q42 68Q10 68Q15 68Q17 68Q45 PDF BibTeX XML Cite \textit{K. Fogarasi} and \textit{B. Nagy}, C. R. Acad. Bulg. Sci. 74, No. 7, 964--971 (2021; Zbl 1499.68161) Full Text: DOI OpenURL
D’Antoni, Loris; Hu, Qinheping; Kim, Jinwoo; Reps, Thomas Programmable program synthesis. (English) Zbl 1493.68052 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 84-109 (2021). MSC: 68N01 68Q42 PDF BibTeX XML Cite \textit{L. D'Antoni} et al., Lect. Notes Comput. Sci. 12759, 84--109 (2021; Zbl 1493.68052) Full Text: DOI OpenURL
Vu, Martin; Fernau, Henning Adding matrix control: insertion-deletion systems with substitutions. III. (English) Zbl 1490.68133 Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 577-592 (2021). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Vu} and \textit{H. Fernau}, Lect. Notes Comput. Sci. 12607, 577--592 (2021; Zbl 1490.68133) Full Text: DOI OpenURL
Cirstea, Horatiu; Lermusiaux, Pierre; Moreau, Pierre-Etienne Pattern eliminating transformations. (English) Zbl 07496642 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Cirstea} et al., Lect. Notes Comput. Sci. 12561, 74--92 (2021; Zbl 07496642) Full Text: DOI Link OpenURL
Kikuchi, Kentaro; Aoto, Takahito Confluence and commutation for nominal rewriting systems with atom-variables. (English) Zbl 07496641 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 56-73 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{K. Kikuchi} and \textit{T. Aoto}, Lect. Notes Comput. Sci. 12561, 56--73 (2021; Zbl 07496641) Full Text: DOI OpenURL
Wulandari, Gia S.; Plump, Detlef Verifying graph programs with monadic second-order logic. (English) Zbl 1492.68043 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021). MSC: 68N30 03B70 68Q42 68Q60 68R10 PDF BibTeX XML Cite \textit{G. S. Wulandari} and \textit{D. Plump}, Lect. Notes Comput. Sci. 12741, 240--261 (2021; Zbl 1492.68043) Full Text: DOI Link OpenURL
Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 1492.68071 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021). MSC: 68Q42 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 1492.68071) Full Text: DOI Link OpenURL
Kreowski, Hans-Jörg; Lye, Aaron A case study on the graph-transformational modeling and analysis of puzzles. (English) Zbl 1492.68070 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 203-220 (2021). MSC: 68Q42 00A08 68Q25 PDF BibTeX XML Cite \textit{H.-J. Kreowski} and \textit{A. Lye}, Lect. Notes Comput. Sci. 12741, 203--220 (2021; Zbl 1492.68070) Full Text: DOI OpenURL
Drewes, Frank; Hoffmann, Berthold; Minas, Mark Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars. (English) Zbl 1492.68068 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 164-184 (2021). MSC: 68Q42 PDF BibTeX XML Cite \textit{F. Drewes} et al., Lect. Notes Comput. Sci. 12741, 164--184 (2021; Zbl 1492.68068) Full Text: DOI OpenURL
Schneider, Sven; Lambers, Leen Evaluation diversity for graph conditions. (English) Zbl 1492.68074 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 122-141 (2021). MSC: 68Q42 03B70 68N30 68R10 PDF BibTeX XML Cite \textit{S. Schneider} and \textit{L. Lambers}, Lect. Notes Comput. Sci. 12741, 122--141 (2021; Zbl 1492.68074) Full Text: DOI OpenURL
Pshenitsyn, Tikhon Powerful and NP-complete: hypergraph Lambek grammars. (English) Zbl 1492.68073 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 102-121 (2021). MSC: 68Q42 PDF BibTeX XML Cite \textit{T. Pshenitsyn}, Lect. Notes Comput. Sci. 12741, 102--121 (2021; Zbl 1492.68073) Full Text: DOI OpenURL
Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs Graph rewriting and relabeling with PBPO\textsuperscript{+}. (English) Zbl 1492.68072 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 60-80 (2021). MSC: 68Q42 PDF BibTeX XML Cite \textit{R. Overbeek} et al., Lect. Notes Comput. Sci. 12741, 60--80 (2021; Zbl 1492.68072) Full Text: DOI arXiv Backlinks: MO OpenURL
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021). MSC: 68Q42 68Q85 PDF BibTeX XML Cite \textit{J. Kosiol} and \textit{G. Taentzer}, Lect. Notes Comput. Sci. 12741, 22--39 (2021; Zbl 1489.68116) Full Text: DOI arXiv OpenURL
Behr, Nicolas; Harmer, Russ; Krivine, Jean Concurrency theorems for non-linear rewriting theories. (English) Zbl 1489.68115 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 3-21 (2021). MSC: 68Q42 68Q85 PDF BibTeX XML Cite \textit{N. Behr} et al., Lect. Notes Comput. Sci. 12741, 3--21 (2021; Zbl 1489.68115) Full Text: DOI arXiv OpenURL
Mihov, Stoyan; Schulz, Klaus U. F-transducers for contextual text rewriting. (English) Zbl 07488335 J. Autom. Lang. Comb. 26, No. 3-4, 281-332 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Mihov} and \textit{K. U. Schulz}, J. Autom. Lang. Comb. 26, No. 3--4, 281--332 (2021; Zbl 07488335) Full Text: Link OpenURL