Gutiérrez, Raúl; Lucas, Salvador; Vítores, Miguel Confluence of conditional rewriting in logic form. (English) Zbl 07799622 Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 44, 18 p. (2021). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{R. Gutiérrez} et al., LIPIcs -- Leibniz Int. Proc. Inform. 213, Article 44, 18 p. (2021; Zbl 07799622) Full Text: DOI
Das, Anupam On the logical strength of confluence and normalisation for cyclic proofs. (English) Zbl 07700634 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 29, 23 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{A. Das}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 29, 23 p. (2021; Zbl 07700634) Full Text: DOI
van Oostrom, Vincent Z; syntax-free developments. (English) Zbl 07700629 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 24, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{V. van Oostrom}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 24, 22 p. (2021; Zbl 07700629) Full Text: DOI
Lyubimova, T. P.; Lepikhin, A. P.; Parshakova, Ya. N.; Kolchanov, V. Yu.; Gualtieri, C.; Lane, S.; Roux, B. Hydrodynamic aspects of confluence of rivers with different water densities. (English. Russian original) Zbl 1489.76026 J. Appl. Mech. Tech. Phys. 62, No. 7, 1211-1221 (2021); translation from Vychisl. Mekh. Splosh. Sred 13, No. 1, 381-392 (2020). MSC: 76F45 76F10 76M99 86A05 PDFBibTeX XMLCite \textit{T. P. Lyubimova} et al., J. Appl. Mech. Tech. Phys. 62, No. 7, 1211--1221 (2021; Zbl 1489.76026); translation from Vychisl. Mekh. Splosh. Sred 13, No. 1, 381--392 (2020) Full Text: DOI
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 PDFBibTeX XMLCite \textit{K. Kikuchi} and \textit{T. Aoto}, Lect. Notes Comput. Sci. 12561, 56--73 (2021; Zbl 07496641) Full Text: DOI
Matsunawa, Ryuya; Sato, Tomoki; Takemura, Kouichi Variants of confluent \(q\)-hypergeometric equations. (English) Zbl 1486.33020 Baklouti, Ali (ed.) et al., Geometric and harmonic analysis on homogeneous spaces and applications. TJC 2019, Djerba, Selected papers based on the presentations at the 6th Tunisian-Japanese conference. In honor of Professor Takaaki Nomura. Tunisia, December 15–19, 2019. Cham: Springer. Springer Proc. Math. Stat. 366, 161-180 (2021). MSC: 33D15 39A13 PDFBibTeX XMLCite \textit{R. Matsunawa} et al., Springer Proc. Math. Stat. 366, 161--180 (2021; Zbl 1486.33020) Full Text: DOI arXiv
Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu Confluence proofs of lambda-mu-calculi by Z theorem. (English) Zbl 07450681 Stud. Log. 109, No. 5, 917-936 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Honda} et al., Stud. Log. 109, No. 5, 917--936 (2021; Zbl 07450681) Full Text: DOI
Oshima, Toshio Versal unfolding of irregular singularities of a linear differential equation on the Riemann sphere. (English) Zbl 1498.34237 Publ. Res. Inst. Math. Sci. 57, No. 3-4, 893-920 (2021). Reviewer: Renat Gontsov (Moskva) MSC: 34M35 34C20 34M25 PDFBibTeX XMLCite \textit{T. Oshima}, Publ. Res. Inst. Math. Sci. 57, No. 3--4, 893--920 (2021; Zbl 1498.34237) Full Text: DOI
Kok, Johan; Shiny, Joseph Confluence number of certain derivative graphs. (English) Zbl 1473.05058 Acta Univ. Sapientiae, Inform. 13, No. 1, 21-38 (2021). MSC: 05C07 05C12 PDFBibTeX XMLCite \textit{J. Kok} and \textit{J. Shiny}, Acta Univ. Sapientiae, Inform. 13, No. 1, 21--38 (2021; Zbl 1473.05058) Full Text: DOI
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
Guzzetti, Davide Isomonodromic Laplace transform with coalescing eigenvalues and confluence of Fuchsian singularities. (English) Zbl 1490.34114 Lett. Math. Phys. 111, No. 3, Paper No. 80, 70 p. (2021). Reviewer: Tsvetana Stoyanova (Sofia) MSC: 34M56 34M35 44A10 PDFBibTeX XMLCite \textit{D. Guzzetti}, Lett. Math. Phys. 111, No. 3, Paper No. 80, 70 p. (2021; Zbl 1490.34114) Full Text: DOI arXiv
Brychkov, Yu. A.; Savischenko, N. V. On some formulas for the Horn functions\(H_1(a,b,c;d;w,z)\) and \(H_1^{(c)}(a,b;d;w,z)\). (English) Zbl 1467.33007 Integral Transforms Spec. Funct. 32, No. 1, 31-47 (2021). Reviewer: Arakaparampil M. Mathai (Montréal) MSC: 33C65 PDFBibTeX XMLCite \textit{Yu. A. Brychkov} and \textit{N. V. Savischenko}, Integral Transforms Spec. Funct. 32, No. 1, 31--47 (2021; Zbl 1467.33007) Full Text: DOI
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