Ye, Xueyi; Shen, Yuzhong; Zeng, Maosheng; Liu, Yirui; Chen, Huahua; Zhao, Zhijing Core point pixel-level localization by fingerprint features in spatial domain. (English) Zbl 07513186 Math. Biosci. Eng. 19, No. 1, 707-737 (2022). MSC: 68U10 68T10 94A08 PDF BibTeX XML Cite \textit{X. Ye} et al., Math. Biosci. Eng. 19, No. 1, 707--737 (2022; Zbl 07513186) Full Text: DOI OpenURL
Chan, Swee Hong; Levine, Lionel Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 07492816 Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022). MSC: 05C25 20K01 20M14 20M35 37B15 37E15 68Q80 82C20 PDF BibTeX XML Cite \textit{S. H. Chan} and \textit{L. Levine}, Abelian networks IV. Dynamics of nonhalting networks. Providence, RI: American Mathematical Society (AMS) (2022; Zbl 07492816) Full Text: DOI arXiv OpenURL
Malek, S. Asymptotics and confluence for some linear \(q\)-difference-differential Cauchy problem. (English) Zbl 1483.35313 J. Geom. Anal. 32, No. 3, Paper No. 93, 63 p. (2022). MSC: 35R10 35C10 35C15 35C20 PDF BibTeX XML Cite \textit{S. Malek}, J. Geom. Anal. 32, No. 3, Paper No. 93, 63 p. (2022; Zbl 1483.35313) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 07513577 J. Appl. Mech. Tech. Phys. 62, No. 7, 1211-1221 (2021); translation from Vychisl. Mekh. Splosh. Sred 13, No. 1, 381-392 (2020). MSC: 76-XX 86-XX PDF BibTeX XML Cite \textit{T. P. Lyubimova} et al., J. Appl. Mech. Tech. Phys. 62, No. 7, 1211--1221 (2021; Zbl 07513577); translation from Vychisl. Mekh. Splosh. Sred 13, No. 1, 381--392 (2020) Full Text: DOI 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
Matsunawa, Ryuya; Sato, Tomoki; Takemura, Kouichi Variants of confluent \(q\)-hypergeometric equations. (English) Zbl 07464624 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 PDF BibTeX XML Cite \textit{R. Matsunawa} et al., Springer Proc. Math. Stat. 366, 161--180 (2021; Zbl 07464624) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{Y. Honda} et al., Stud. Log. 109, No. 5, 917--936 (2021; Zbl 07450681) Full Text: DOI OpenURL
Oshima, Toshio Versal unfolding of irregular singularities of a linear differential equation on the Riemann sphere. (English) Zbl 07445180 Publ. Res. Inst. Math. Sci. 57, No. 3-4, 893-920 (2021). MSC: 34M35 34C20 34M25 PDF BibTeX XML Cite \textit{T. Oshima}, Publ. Res. Inst. Math. Sci. 57, No. 3--4, 893--920 (2021; Zbl 07445180) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Kok} and \textit{J. Shiny}, Acta Univ. Sapientiae, Inform. 13, No. 1, 21--38 (2021; Zbl 1473.05058) Full Text: DOI OpenURL
Campbell, Graham; Plump, Detlef Confluence up to garbage in graph transformation. (English) Zbl 07387696 Theor. Comput. Sci. 884, 1-22 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{G. Campbell} and \textit{D. Plump}, Theor. Comput. Sci. 884, 1--22 (2021; Zbl 07387696) Full Text: DOI arXiv OpenURL
Guzzetti, Davide Isomonodromic Laplace transform with coalescing eigenvalues and confluence of Fuchsian singularities. (English) Zbl 07383278 Lett. Math. Phys. 111, No. 3, Paper No. 80, 70 p. (2021). Reviewer: Tsvetana Stoyanova (Sofia) MSC: 34M56 34M35 44A10 PDF BibTeX XML Cite \textit{D. Guzzetti}, Lett. Math. Phys. 111, No. 3, Paper No. 80, 70 p. (2021; Zbl 07383278) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Barenbaum, Pablo; Lochbaum, Federico; Milicich, Mariana Semantics of a relational \(\lambda\)-calculus. (English) Zbl 07369992 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 242-261 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Barenbaum} et al., Lect. Notes Comput. Sci. 12545, 242--261 (2020; Zbl 07369992) Full Text: DOI arXiv OpenURL
Horrobin, Calum; Mazzocco, Marta Stokes phenomenon arising in the confluence of the Gauss hypergeometric equation. (English) Zbl 1470.34234 Nijhoff, Frank (ed.) et al., Asymptotic, algebraic and geometric aspects of integrable systems. In honor of Nalini Joshi on her 60th birthday. Selected papers of the workshop, TSIMF, Sanya, China, April 9–13, 2018. Cham: Springer. Springer Proc. Math. Stat. 338, 101-158 (2020). Reviewer: Mykola Grygorenko (Kyïv) MSC: 34M03 34M35 34M40 PDF BibTeX XML Cite \textit{C. Horrobin} and \textit{M. Mazzocco}, Springer Proc. Math. Stat. 338, 101--158 (2020; Zbl 1470.34234) Full Text: DOI arXiv OpenURL
Kraus, Nicolai; von Raumer, Jakob Coherence via well-foundedness. Taming set-quotients in homotopy type theory. (English) Zbl 07299503 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 662-675 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{N. Kraus} and \textit{J. von Raumer}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 662--675 (2020; Zbl 07299503) Full Text: DOI arXiv OpenURL
Kutz, Yunus; Schmidt-Schauß, Manfred Rewriting with generalized nominal unification. (English) Zbl 07283034 Math. Struct. Comput. Sci. 30, No. 6, 710-735 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{Y. Kutz} and \textit{M. Schmidt-Schauß}, Math. Struct. Comput. Sci. 30, No. 6, 710--735 (2020; Zbl 07283034) Full Text: DOI OpenURL
Frühwirth, Thom Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity. (English) Zbl 1471.68049 Fundam. Inform. 173, No. 4, 253-283 (2020). MSC: 68N17 03B70 68Q25 PDF BibTeX XML Cite \textit{T. Frühwirth}, Fundam. Inform. 173, No. 4, 253--283 (2020; Zbl 1471.68049) Full Text: DOI OpenURL
Ikhouane, Fayçal Causal canonical decomposition of hysteresis systems. (English) Zbl 07265355 Commun. Nonlinear Sci. Numer. Simul. 89, Article ID 105278, 11 p. (2020). MSC: 47-XX 93C25 46N20 74S30 93A30 35B30 35K60 PDF BibTeX XML Cite \textit{F. Ikhouane}, Commun. Nonlinear Sci. Numer. Simul. 89, Article ID 105278, 11 p. (2020; Zbl 07265355) Full Text: DOI OpenURL
Klivans, Caroline; Liscio, Patrick Results in labeled chip-firing. (English) Zbl 1447.05137 Sémin. Lothar. Comb. 84B, 84B.85, 12 p. (2020). MSC: 05C57 05C78 PDF BibTeX XML Cite \textit{C. Klivans} and \textit{P. Liscio}, Sémin. Lothar. Comb. 84B, 84B.85, 12 p. (2020; Zbl 1447.05137) Full Text: Link OpenURL
Klimeš, Martin Confluence of singularities in hypergeometric systems. (English) Zbl 1457.34128 Funkc. Ekvacioj, Ser. Int. 63, No. 2, 153-181 (2020). Reviewer: Konstantin Jakob (Cambridge) MSC: 34M35 34M40 34M03 PDF BibTeX XML Cite \textit{M. Klimeš}, Funkc. Ekvacioj, Ser. Int. 63, No. 2, 153--181 (2020; Zbl 1457.34128) Full Text: DOI arXiv OpenURL
Gwynne, Ewain; Miller, Jason Confluence of geodesics in Liouville quantum gravity for \(\gamma \in (0,2)\). (English) Zbl 1453.60141 Ann. Probab. 48, No. 4, 1861-1901 (2020). MSC: 60J67 60G52 PDF BibTeX XML Cite \textit{E. Gwynne} and \textit{J. Miller}, Ann. Probab. 48, No. 4, 1861--1901 (2020; Zbl 1453.60141) Full Text: DOI arXiv Euclid OpenURL
Le Stum, Bernard; Quirós, Adolfo Twisted calculus on affinoid algebras. (English) Zbl 1431.12007 Pac. J. Math. 304, No. 2, 523-560 (2020). MSC: 12H10 12H25 14G22 PDF BibTeX XML Cite \textit{B. Le Stum} and \textit{A. Quirós}, Pac. J. Math. 304, No. 2, 523--560 (2020; Zbl 1431.12007) Full Text: DOI arXiv OpenURL
Klimeš, Martin Analytic classification of families of linear differential systems unfolding a resonant irregular singularity. (English) Zbl 1436.34080 SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 006, 46 p. (2020). Reviewer: Vladimir P. Kostov (Nice) MSC: 34M03 34M35 34M40 PDF BibTeX XML Cite \textit{M. Klimeš}, SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 006, 46 p. (2020; Zbl 1436.34080) Full Text: DOI arXiv OpenURL
Chenavier, Cyrille Topological rewriting systems applied to standard bases and syntactic algebras. (English) Zbl 1461.68097 J. Algebra 550, 410-431 (2020). MSC: 68Q42 13F25 16S36 68Q70 PDF BibTeX XML Cite \textit{C. Chenavier}, J. Algebra 550, 410--431 (2020; Zbl 1461.68097) Full Text: DOI arXiv OpenURL
Durán, Francisco; Meseguer, José; Rocha, Camilo Ground confluence of order-sorted conditional specifications modulo axioms. (English) Zbl 07161326 J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 111, Article ID 100513, 117 p. (2020; Zbl 07161326) 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
Liu, Xin; Chertock, Alina; Kurganov, Alexander; Wolfkill, Karlan One-dimensional/two-dimensional coupling approach with quadrilateral confluence region for modeling river systems. (English) Zbl 1429.86003 J. Sci. Comput. 81, No. 3, 1297-1328 (2019). MSC: 86A05 86-08 76M12 65M08 35L65 PDF BibTeX XML Cite \textit{X. Liu} et al., J. Sci. Comput. 81, No. 3, 1297--1328 (2019; Zbl 1429.86003) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Guiraud} et al., Math. Z. 293, No. 1--2, 113--179 (2019; Zbl 1423.16008) Full Text: DOI 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
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 PDF BibTeX XML Cite \textit{P. Galashin} et al., Math. Z. 292, No. 3--4, 1337--1385 (2019; Zbl 1440.17006) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{M. H. Kirkeby} and \textit{H. Christiansen}, Int. J. Approx. Reasoning 105, 217--228 (2019; Zbl 1452.68095) Full Text: DOI OpenURL
Xi, Fubao; Zhu, Chao Jump type stochastic differential equations with non-Lipschitz coefficients: non-confluence, Feller and strong Feller properties, and exponential ergodicity. (English) Zbl 1442.60063 J. Differ. Equations 266, No. 8, 4668-4711 (2019). MSC: 60H10 60J25 60J60 60J74 PDF BibTeX XML Cite \textit{F. Xi} and \textit{C. Zhu}, J. Differ. Equations 266, No. 8, 4668--4711 (2019; Zbl 1442.60063) Full Text: DOI arXiv OpenURL
Aoto, Takahito; Hamana, Makoto; Hirokawa, Nao; Middeldorp, Aart; Nagele, Julian; Nishida, Naoki; Shintani, Kiraku; Zankl, Harald Confluence Competition 2018. (English) Zbl 1462.68088 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 32, 5 p. (2018). MSC: 68Q42 68V15 PDF BibTeX XML Cite \textit{T. Aoto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 32, 5 p. (2018; Zbl 1462.68088) Full Text: DOI OpenURL
Endrullis, Jörg; Klop, Jan Willem; Overbeek, Roy Decreasing diagrams with two labels are complete for confluence of countable systems. (English) Zbl 1462.68094 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 14, 15 p. (2018). MSC: 68Q42 03B70 PDF BibTeX XML Cite \textit{J. Endrullis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 14, 15 p. (2018; Zbl 1462.68094) Full Text: DOI OpenURL
Bahr, Patrick Strict ideal completions of the lambda calculus. (English) Zbl 1462.68090 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 8, 16 p. (2018). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{P. Bahr}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 8, 16 p. (2018; Zbl 1462.68090) Full Text: DOI arXiv OpenURL
Andrianarivelo, Nirina; Réty, Pierre Confluence of prefix-constrained rewrite systems. (English) Zbl 1462.68087 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 6, 15 p. (2018). MSC: 68Q42 68Q45 PDF BibTeX XML Cite \textit{N. Andrianarivelo} and \textit{P. Réty}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 6, 15 p. (2018; Zbl 1462.68087) Full Text: DOI OpenURL
Díaz-Caro, Alejandro; Martínez, Guido Confluence in probabilistic rewriting. (English) Zbl 1433.68189 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 115-131 (2018). MSC: 68Q42 03B40 68N15 PDF BibTeX XML Cite \textit{A. Díaz-Caro} and \textit{G. Martínez}, Electron. Notes Theor. Comput. Sci. 338, 115--131 (2018; Zbl 1433.68189) Full Text: DOI arXiv OpenURL
Curien, Nicolas; Ménard, Laurent The skeleton of the UIPT, seen from infinity. (Le squelette de l’UIPT, vu de l’infini.) (English. French summary) Zbl 1419.05192 Ann. Henri Lebesgue 1, 87-125 (2018). MSC: 05C80 05C05 60F17 PDF BibTeX XML Cite \textit{N. Curien} and \textit{L. Ménard}, Ann. Henri Lebesgue 1, 87--125 (2018; Zbl 1419.05192) Full Text: DOI arXiv OpenURL
Galashin, Pavel; Hopkins, Sam; McConville, Thomas; Postnikov, Alexander Root system chip-firing. (English) Zbl 1411.05183 Sémin. Lothar. Comb. 80B, 80B.21, 12 p. (2018). MSC: 05C57 91A43 17B22 PDF BibTeX XML Cite \textit{P. Galashin} et al., Sémin. Lothar. Comb. 80B, 80B.21, 12 p. (2018; Zbl 1411.05183) Full Text: Link OpenURL
Saito, Mutsumi; Takeda, Hiroyasu Confluent hypergeometric systems associated with principal nilpotent \(p\)-tuples. (English) Zbl 1403.33010 Int. J. Math. 29, No. 12, Article ID 1850079, 31 p. (2018). MSC: 33C70 16S32 17B20 PDF BibTeX XML Cite \textit{M. Saito} and \textit{H. Takeda}, Int. J. Math. 29, No. 12, Article ID 1850079, 31 p. (2018; Zbl 1403.33010) Full Text: DOI OpenURL
Klimeš, Martin Stokes phenomenon and confluence in non-autonomous Hamiltonian systems. (English) Zbl 1406.34107 Qual. Theory Dyn. Syst. 17, No. 3, 665-708 (2018). Reviewer: Pascal Remy (Carrières-sur-Seine) MSC: 34M35 34M40 34M55 PDF BibTeX XML Cite \textit{M. Klimeš}, Qual. Theory Dyn. Syst. 17, No. 3, 665--708 (2018; Zbl 1406.34107) Full Text: DOI arXiv OpenURL
Felgenhauer, Bertram Deciding confluence and normal form properties of ground term rewrite systems efficiently. (English) Zbl 1403.68105 Log. Methods Comput. Sci. 14, No. 4, Paper No. 7, 35 p. (2018). MSC: 68Q42 68Q25 PDF BibTeX XML Cite \textit{B. Felgenhauer}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 7, 35 p. (2018; Zbl 1403.68105) Full Text: DOI arXiv OpenURL
Lucas, Salvador; Gutiérrez, Raúl Use of logical models for proving infeasibility in term rewriting. (English) Zbl 1477.68140 Inf. Process. Lett. 136, 90-95 (2018). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Lucas} and \textit{R. Gutiérrez}, Inf. Process. Lett. 136, 90--95 (2018; Zbl 1477.68140) Full Text: DOI Link OpenURL
Le Stum, Bernard; Quirós, Adolfo Formal confluence of quantum differential operators. (English) Zbl 1414.12014 Pac. J. Math. 292, No. 2, 427-478 (2018). MSC: 12H10 PDF BibTeX XML Cite \textit{B. Le Stum} and \textit{A. Quirós}, Pac. J. Math. 292, No. 2, 427--478 (2018; Zbl 1414.12014) Full Text: DOI arXiv Link OpenURL
Hossein Poor, Jamal; Raab, Clemens G.; Regensburger, Georg Algorithmic operator algebras via normal forms in tensor rings. (English) Zbl 06789139 J. Symb. Comput. 85, 247-274 (2018). MSC: 47-XX 13P10 68W30 PDF BibTeX XML Cite \textit{J. Hossein Poor} et al., J. Symb. Comput. 85, 247--274 (2018; Zbl 06789139) Full Text: DOI OpenURL
Czajka, Łukasz Confluence of an extension of combinatory logic by Boolean constants. (English) Zbl 1434.03049 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{Ł. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017; Zbl 1434.03049) Full Text: DOI arXiv OpenURL
Aoto, Takahito; Toyama, Yoshihito; Kimura, Yuta Improving rewriting induction approach for proving ground confluence. (English) Zbl 1434.68215 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 7, 18 p. (2017). MSC: 68Q42 68V15 PDF BibTeX XML Cite \textit{T. Aoto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 7, 18 p. (2017; Zbl 1434.68215) Full Text: DOI OpenURL
Hopkins, Sam; McConville, Thomas; Propp, Jim Sorting via chip-firing. (English) Zbl 1384.05117 Sémin. Lothar. Comb. 78B, 78B.30, 12 p. (2017). MSC: 05C63 05C78 PDF BibTeX XML Cite \textit{S. Hopkins} et al., Sémin. Lothar. Comb. 78B, 78B.30, 12 p. (2017; Zbl 1384.05117) Full Text: Link OpenURL
Dehornoy, Patrick Multifraction reduction. II: Conjectures for Artin-Tits groups. (English) Zbl 1422.20021 J. Comb. Algebra 1, No. 3, 229-287 (2017). MSC: 20M05 20F36 20F10 68Q42 20F06 PDF BibTeX XML Cite \textit{P. Dehornoy}, J. Comb. Algebra 1, No. 3, 229--287 (2017; Zbl 1422.20021) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Rocha-Oliveira, Ana Cristina; Galdino, André Luiz; Ayala-Rincón, Mauricio Confluence of orthogonal term rewriting systems in the prototype verification system. (English) Zbl 1407.68441 J. Autom. Reasoning 58, No. 2, 231-251 (2017). MSC: 68T15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. C. Rocha-Oliveira} et al., J. Autom. Reasoning 58, No. 2, 231--251 (2017; Zbl 1407.68441) Full Text: DOI OpenURL
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio Confluence of graph rewriting with interfaces. (English) Zbl 06721320 Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 141-169 (2017). MSC: 68Q42 18B50 18M05 PDF BibTeX XML Cite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 10201, 141--169 (2017; Zbl 06721320) Full Text: DOI Link OpenURL
Nagele, Julian; Felgenhauer, Bertram; Zankl, Harald Certifying confluence proofs via relative termination and rule labeling. (English) Zbl 1398.68485 Log. Methods Comput. Sci. 13, No. 2, Paper No. 4, 27 p. (2017). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{J. Nagele} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 4, 27 p. (2017; Zbl 1398.68485) Full Text: DOI arXiv OpenURL
Hurtubise, Jacques; Rousseau, Christiane Moduli space for generic unfolded differential linear systems. (English) Zbl 1361.34099 Adv. Math. 307, 1268-1323 (2017). Reviewer: Vladimir P. Kostov (Nice) MSC: 34M03 34M40 34M35 32S40 PDF BibTeX XML Cite \textit{J. Hurtubise} and \textit{C. Rousseau}, Adv. Math. 307, 1268--1323 (2017; Zbl 1361.34099) Full Text: DOI arXiv OpenURL
Lucas, Maxime A coherence theorem for pseudonatural transformations. (English) Zbl 1373.18003 J. Pure Appl. Algebra 221, No. 5, 1146-1217 (2017). Reviewer: Ross H. Street (North Ryde) MSC: 18D05 68Q42 18D10 18B40 PDF BibTeX XML Cite \textit{M. Lucas}, J. Pure Appl. Algebra 221, No. 5, 1146--1217 (2017; Zbl 1373.18003) Full Text: DOI arXiv OpenURL
Dreyfus, Thomas Isomonodromic deformation of \(q\)-difference equations and confluence. (English) Zbl 1352.39005 Proc. Am. Math. Soc. 145, No. 3, 1109-1120 (2017). MSC: 39A13 34M56 PDF BibTeX XML Cite \textit{T. Dreyfus}, Proc. Am. Math. Soc. 145, No. 3, 1109--1120 (2017; Zbl 1352.39005) Full Text: DOI arXiv OpenURL
Ayala-Rincón, Mauricio; Fernández, Maribel; Gabbay, Murdoch James; Rocha-Oliveira, Ana Cristina Checking overlaps of nominal rewriting rules. (English) Zbl 1401.68131 Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 39-56 (2016). MSC: 68Q42 PDF BibTeX XML Cite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 323, 39--56 (2016; Zbl 1401.68131) Full Text: DOI OpenURL
Aoto, Takahito; Toyama, Yoshihito Ground confluence prover based on rewriting induction. (English) Zbl 1387.68205 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 33, 12 p. (2016). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{T. Aoto} and \textit{Y. Toyama}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 33, 12 p. (2016; Zbl 1387.68205) Full Text: DOI OpenURL
Sternagel, Christian; Sternagel, Thomas Certifying confluence of almost orthogonal CTRSs via exact tree automata completion. (English) Zbl 1388.68155 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 29, 16 p. (2016). MSC: 68Q42 68Q45 68T15 PDF BibTeX XML Cite \textit{C. Sternagel} and \textit{T. Sternagel}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 29, 16 p. (2016; Zbl 1388.68155) Full Text: DOI OpenURL
Xiong, Zhongmin; Zhu, Jiguang; Yuan, Hongchun; He, Shijun; Wei, Huiwen A new approach to detecting active rule confluence with exclusive rules during an indeterminable rule process. (English) Zbl 1366.68038 J. Intell. Fuzzy Syst. 31, No. 3, 1769-1778 (2016). MSC: 68P15 PDF BibTeX XML Cite \textit{Z. Xiong} et al., J. Intell. Fuzzy Syst. 31, No. 3, 1769--1778 (2016; Zbl 1366.68038) Full Text: DOI OpenURL
Kimura, Hironobu; Tseveennamjil, Damiran Confluence of general Schlesinger systems and twistor theory. (English) Zbl 1369.34108 Hiroshima Math. J. 46, No. 3, 289-309 (2016). Reviewer: Nakazono Nobutaka (Kanagawa) MSC: 34M56 34M55 33E17 PDF BibTeX XML Cite \textit{H. Kimura} and \textit{D. Tseveennamjil}, Hiroshima Math. J. 46, No. 3, 289--309 (2016; Zbl 1369.34108) Full Text: Euclid OpenURL
Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI OpenURL
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle Confluence reduction for Markov automata. (English) Zbl 1356.68136 Theor. Comput. Sci. 655, Part B, 193-219 (2016). MSC: 68Q45 68Q85 68Q87 PDF BibTeX XML Cite \textit{M. Timmer} et al., Theor. Comput. Sci. 655, Part B, 193--219 (2016; Zbl 1356.68136) Full Text: DOI OpenURL
Kodama, Y.; Konopelchenko, Boris G. Confluence of hypergeometric functions and integrable hydrodynamic-type systems. (English. Russian original) Zbl 1351.35142 Theor. Math. Phys. 188, No. 3, 1334-1357 (2016); translation from Teor. Mat. Fiz. 188, No. 3, 429-455 (2016). MSC: 35Q35 33C15 PDF BibTeX XML Cite \textit{Y. Kodama} and \textit{B. G. Konopelchenko}, Theor. Math. Phys. 188, No. 3, 1334--1357 (2016; Zbl 1351.35142); translation from Teor. Mat. Fiz. 188, No. 3, 429--455 (2016) Full Text: DOI arXiv OpenURL
Sasaki, Yoshikatsu; Yoshino, Masafumi Nonintegrability of Hamiltonian system perturbed from integrable system with two singular points. (English) Zbl 1384.37070 Math. Z. 284, No. 3-4, 1005-1020 (2016). MSC: 37J30 37N05 70H05 PDF BibTeX XML Cite \textit{Y. Sasaki} and \textit{M. Yoshino}, Math. Z. 284, No. 3--4, 1005--1020 (2016; Zbl 1384.37070) Full Text: DOI OpenURL
Aoto, Takahito; Kikuchi, Kentaro Nominal confluence tool. (English) Zbl 1476.68298 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 173-182 (2016). MSC: 68V15 68Q42 PDF BibTeX XML Cite \textit{T. Aoto} and \textit{K. Kikuchi}, Lect. Notes Comput. Sci. 9706, 173--182 (2016; Zbl 1476.68298) Full Text: DOI OpenURL
Leupold, Peter General idempotency languages over small alphabets. (English) Zbl 1344.68125 Int. J. Found. Comput. Sci. 27, No. 3, 343-357 (2016). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{P. Leupold}, Int. J. Found. Comput. Sci. 27, No. 3, 343--357 (2016; Zbl 1344.68125) Full Text: DOI OpenURL
Chenavier, Cyrille Confluence algebras and acyclicity of the Koszul complex. (English) Zbl 1347.18004 Algebr. Represent. Theory 19, No. 3, 679-711 (2016). Reviewer: Blas Torrecillas (Almeria) MSC: 18G10 16E05 16S15 16S37 PDF BibTeX XML Cite \textit{C. Chenavier}, Algebr. Represent. Theory 19, No. 3, 679--711 (2016; Zbl 1347.18004) Full Text: DOI arXiv OpenURL
Klimeš, Martin Confluence of singularities of nonlinear differential equations via Borel-Laplace transformations. (English) Zbl 1339.34095 J. Dyn. Control Syst. 22, No. 2, 285-324 (2016). Reviewer: Vladimir P. Kostov (Nice) MSC: 34M35 34M40 34M25 PDF BibTeX XML Cite \textit{M. Klimeš}, J. Dyn. Control Syst. 22, No. 2, 285--324 (2016; Zbl 1339.34095) Full Text: DOI arXiv OpenURL
Guerrieri, Giulio Head reduction and normalization in a call-by-value lambda-calculus. (English) Zbl 1428.68100 Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 3-17 (2015). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Guerrieri}, OASIcs -- OpenAccess Ser. Inform. 46, 3--17 (2015; Zbl 1428.68100) Full Text: DOI OpenURL
Kuhr, Tomas; Vychodil, Vilem Rewriting systems over similarity and generalized pseudometric spaces and their properties. (English) Zbl 1373.68275 Fuzzy Sets Syst. 275, 110-129 (2015). MSC: 68Q42 03B52 03E72 PDF BibTeX XML Cite \textit{T. Kuhr} and \textit{V. Vychodil}, Fuzzy Sets Syst. 275, 110--129 (2015; Zbl 1373.68275) Full Text: DOI OpenURL
Gabbrielli, Maurizio; Meo, Maria Chiara; Tacchella, Paolo; Wiklicky, Herbert Unfolding for CHR programs. (English) Zbl 1379.68064 Theory Pract. Log. Program. 15, No. 3, 264-311 (2015). MSC: 68N17 PDF BibTeX XML Cite \textit{M. Gabbrielli} et al., Theory Pract. Log. Program. 15, No. 3, 264--311 (2015; Zbl 1379.68064) Full Text: DOI arXiv OpenURL
Liu, Jiaxiang; Jouannaud, Jean-Pierre; Ogawa, Mizuhito Confluence of layered rewrite systems. (English) Zbl 1373.68276 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 423-440 (2015). MSC: 68Q42 PDF BibTeX XML Cite \textit{J. Liu} et al., LIPIcs -- Leibniz Int. Proc. Inform. 41, 423--440 (2015; Zbl 1373.68276) Full Text: DOI arXiv OpenURL
Suzuki, Takaki; Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito Confluence of orthogonal nominal rewriting systems revisited. (English) Zbl 1366.68128 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 301-317 (2015). MSC: 68Q42 PDF BibTeX XML Cite \textit{T. Suzuki} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 301--317 (2015; Zbl 1366.68128) Full Text: DOI OpenURL
Nagele, Julian; Zankl, Harald Certified rule labeling. (English) Zbl 1366.68126 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 269-284 (2015). MSC: 68Q42 68T15 PDF BibTeX XML Cite \textit{J. Nagele} and \textit{H. Zankl}, LIPIcs -- Leibniz Int. Proc. Inform. 36, 269--284 (2015; Zbl 1366.68126) Full Text: DOI OpenURL
Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart Improving automatic confluence analysis of rewrite systems by redundant rules. (English) Zbl 1366.68125 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 257-268 (2015). MSC: 68Q42 68T15 PDF BibTeX XML Cite \textit{J. Nagele} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 257--268 (2015; Zbl 1366.68125) Full Text: DOI OpenURL
Hellström, Lars Network rewriting. II: Bi- and Hopf algebras. (English) Zbl 1366.68118 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 194-208 (2015). MSC: 68Q42 16T05 16T10 PDF BibTeX XML Cite \textit{L. Hellström}, LIPIcs -- Leibniz Int. Proc. Inform. 36, 194--208 (2015; Zbl 1366.68118) Full Text: DOI OpenURL
Czajka, Lukasz Confluence of nearly orthogonal infinitary term rewriting systems. (English) Zbl 1366.68111 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 106-126 (2015). MSC: 68Q42 PDF BibTeX XML Cite \textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 36, 106--126 (2015; Zbl 1366.68111) Full Text: DOI OpenURL
Ameloot, Tom J.; Van den Bussche, Jan Deciding confluence for a simple class of relational transducer networks. (English) Zbl 1352.68077 Theory Comput. Syst. 57, No. 4, 1038-1111 (2015). MSC: 68P15 68Q45 68Q85 PDF BibTeX XML Cite \textit{T. J. Ameloot} and \textit{J. Van den Bussche}, Theory Comput. Syst. 57, No. 4, 1038--1111 (2015; Zbl 1352.68077) Full Text: DOI Link OpenURL
Bendaas, Saida Confluence of shocks in Burgers equation. A new approach. (English) Zbl 1331.35228 Int. J. Differ. Equ. Appl. 14, No. 4, 369-382 (2015). MSC: 35L67 35B25 35L65 PDF BibTeX XML Cite \textit{S. Bendaas}, Int. J. Differ. Equ. Appl. 14, No. 4, 369--382 (2015; Zbl 1331.35228) Full Text: Link OpenURL
Widodo, Basuki; Kamiran; Asiyah, Nur; Widjayati, Farida Agustini; Maulana, Dimas Avian Total suspended solid (TSS) pollutant dispersion pattern in the confluence of two rivers. (English) Zbl 1335.76040 Adv. Appl. Fluid Mech. 17, No. 2, 209-220 (2015). MSC: 76M12 76T20 PDF BibTeX XML Cite \textit{B. Widodo} et al., Adv. Appl. Fluid Mech. 17, No. 2, 209--220 (2015; Zbl 1335.76040) Full Text: DOI Link OpenURL
Lemaire, Vincent; Pagès, Gilles; Panloup, Fabien Invariant measure of duplicated diffusions and application to Richardson-Romberg extrapolation. (English. French summary) Zbl 1329.60281 Ann. Inst. Henri Poincaré, Probab. Stat. 51, No. 4, 1562-1596 (2015). MSC: 60J60 60J65 60F05 60H10 60H35 60G10 65C30 65C05 49Q20 PDF BibTeX XML Cite \textit{V. Lemaire} et al., Ann. Inst. Henri Poincaré, Probab. Stat. 51, No. 4, 1562--1596 (2015; Zbl 1329.60281) Full Text: DOI arXiv Euclid OpenURL
Dreyfus, Thomas Confluence of meromorphic solutions of \(q\)-difference equations. (Confluence de solutions méromorphes d’équations aux \(q\)-différences.) (English. French summary) Zbl 1331.39006 Ann. Inst. Fourier 65, No. 2, 431-507 (2015). Reviewer: Miloš Čanak (Beograd) MSC: 39A13 34M40 PDF BibTeX XML Cite \textit{T. Dreyfus}, Ann. Inst. Fourier 65, No. 2, 431--507 (2015; Zbl 1331.39006) Full Text: DOI arXiv OpenURL
Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent Layer systems for proving confluence. (English) Zbl 1354.68138 ACM Trans. Comput. Log. 16, No. 2, Article No. 14, 32 p. (2015). MSC: 68Q42 03B40 PDF BibTeX XML Cite \textit{B. Felgenhauer} et al., ACM Trans. Comput. Log. 16, No. 2, Article No. 14, 32 p. (2015; Zbl 1354.68138) Full Text: DOI arXiv OpenURL
Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart Labelings for decreasing diagrams. (English) Zbl 1315.68226 J. Autom. Reasoning 54, No. 2, 101-133 (2015). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{H. Zankl} et al., J. Autom. Reasoning 54, No. 2, 101--133 (2015; Zbl 1315.68226) Full Text: DOI OpenURL
Nakazawa, Koji; Naya, Hiroto Strong reduction of combinatory calculus with streams. (English) Zbl 1326.03023 Stud. Log. 103, No. 2, 375-387 (2015). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{H. Naya}, Stud. Log. 103, No. 2, 375--387 (2015; Zbl 1326.03023) Full Text: DOI OpenURL
Ó Dúnlaing, Colm An almost-confluent congruential language which is not Church-Rosser congruential. (English) Zbl 1321.68336 Theor. Comput. Sci. 589, 141-146 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q42 68Q45 03D03 PDF BibTeX XML Cite \textit{C. Ó Dúnlaing}, Theor. Comput. Sci. 589, 141--146 (2015; Zbl 1321.68336) Full Text: DOI OpenURL
Otto, Friedrich; Mráz, František Lambda-confluence for context rewriting systems. (English) Zbl 1319.68129 Theor. Comput. Sci. 578, 88-99 (2015). Reviewer: Magnus Steinby (Turku) MSC: 68Q42 68Q45 68Q17 03D10 PDF BibTeX XML Cite \textit{F. Otto} and \textit{F. Mráz}, Theor. Comput. Sci. 578, 88--99 (2015; Zbl 1319.68129) Full Text: DOI OpenURL
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio Metaconfluence of calculi with explicit substitutions at a distance. (English) Zbl 1360.68324 Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 391-402 (2014). MSC: 68N18 68Q42 PDF BibTeX XML Cite \textit{F. L. C. De Moura} et al., LIPIcs -- Leibniz Int. Proc. Inform. 29, 391--402 (2014; Zbl 1360.68324) Full Text: DOI OpenURL
Liu, Jialing; Elia, Nicola Convergence of fundamental limitations in feedback communication, estimation, and feedback control over Gaussian channels. (English) Zbl 1331.93073 Commun. Inf. Syst. 14, No. 3, 161-211 (2014). MSC: 93B52 93E03 PDF BibTeX XML Cite \textit{J. Liu} and \textit{N. Elia}, Commun. Inf. Syst. 14, No. 3, 161--211 (2014; Zbl 1331.93073) Full Text: DOI arXiv OpenURL
Jin, Xiaoqing; Lembachar, Yousra; Ciardo, Gianfranco Symbolic termination and confluence checking for ECA rules. (English) Zbl 1428.68201 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency IX. Berlin: Springer. Lect. Notes Comput. Sci. 8910, 99-123 (2014). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{X. Jin} et al., Lect. Notes Comput. Sci. 8910, 99--123 (2014; Zbl 1428.68201) Full Text: DOI Link OpenURL
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo Linear logical relations and observational equivalences for session-based concurrency. (English) Zbl 1309.68141 Inf. Comput. 239, 254-302 (2014). MSC: 68Q85 03F52 PDF BibTeX XML Cite \textit{J. A. Pérez} et al., Inf. Comput. 239, 254--302 (2014; Zbl 1309.68141) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. J. Duck} et al., Theory Pract. Log. Program. 14, No. 4--5, 619--632 (2014; Zbl 1309.68031) Full Text: DOI arXiv OpenURL
Lan, Guangqiang; Wu, Jiang-Lun New sufficient conditions of existence, moment estimations and non confluence for SDEs with non-Lipschitzian coefficients. (English) Zbl 1314.60116 Stochastic Processes Appl. 124, No. 12, 4030-4049 (2014). MSC: 60H10 PDF BibTeX XML Cite \textit{G. Lan} and \textit{J.-L. Wu}, Stochastic Processes Appl. 124, No. 12, 4030--4049 (2014; Zbl 1314.60116) Full Text: DOI arXiv OpenURL
Hurtubise, Jacques; Lambert, Caroline; Rousseau, Christiane Complete system of analytic invariants for unfolded differential linear systems with an rank \(k\) irregular singularity of Poincaré. (English) Zbl 1302.34131 Mosc. Math. J. 14, No. 2, 309-338 (2014). Reviewer: Vladimir P. Kostov (Nice) MSC: 34M35 34M40 34M03 37G10 34E10 37G05 PDF BibTeX XML Cite \textit{J. Hurtubise} et al., Mosc. Math. J. 14, No. 2, 309--338 (2014; Zbl 1302.34131) Full Text: Link OpenURL
Sternagel, Thomas; Middeldorp, Aart Conditional confluence (system description). (English) Zbl 1416.68181 Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 456-465 (2014). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{T. Sternagel} and \textit{A. Middeldorp}, Lect. Notes Comput. Sci. 8560, 456--465 (2014; Zbl 1416.68181) Full Text: DOI OpenURL
Aoto, Takahito; Toyama, Yoshihito; Uchida, Kazumasa Proving confluence of term rewriting systems via persistency and decreasing diagrams. (English) Zbl 1416.68088 Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 46-60 (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{T. Aoto} et al., Lect. Notes Comput. Sci. 8560, 46--60 (2014; Zbl 1416.68088) Full Text: DOI OpenURL
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika A simplified proof of the Church-Rosser theorem. (English) Zbl 1338.03017 Stud. Log. 102, No. 1, 175-183 (2014). MSC: 03B40 PDF BibTeX XML Cite \textit{Y. Komori} et al., Stud. Log. 102, No. 1, 175--183 (2014; Zbl 1338.03017) Full Text: DOI OpenURL