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
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) (ISBN 978-1-4503-7104-9). 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
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 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
Frühwirth, Thom Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity. (English) Zbl 07274556 Fundam. Inform. 173, No. 4, 253-283 (2020). MSC: 68 PDF BibTeX XML Cite \textit{T. Frühwirth}, Fundam. Inform. 173, No. 4, 253--283 (2020; Zbl 07274556) Full Text: DOI
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 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
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
Klimeš, Martin Confluence of singularities in hypergeometric systems. (English) Zbl 07243210 Funkc. Ekvacioj, Ser. Int. 63, No. 2, 153-181 (2020). Reviewer: Konstantin Jakob (Cambridge) MSC: 34M35 34M40 PDF BibTeX XML Cite \textit{M. Klimeš}, Funkc. Ekvacioj, Ser. Int. 63, No. 2, 153--181 (2020; Zbl 07243210) Full Text: DOI
Gwynne, Ewain; Miller, Jason Confluence of geodesics in Liouville quantum gravity for \(\gamma \in (0,2)\). (English) Zbl 07224962 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 07224962) Full Text: DOI Euclid
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
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
Chenavier, Cyrille Topological rewriting systems applied to standard bases and syntactic algebras. (English) Zbl 07167056 J. Algebra 550, 410-431 (2020). MSC: 13F25 68Q42 03G10 PDF BibTeX XML Cite \textit{C. Chenavier}, J. Algebra 550, 410--431 (2020; Zbl 07167056) Full Text: DOI
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 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
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 (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 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
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
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
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
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
Endrullis, Jörg; Klop, Jan Willem Braids via term rewriting. (English) Zbl 07067593 Theor. Comput. Sci. 777, 260-295 (2019). MSC: 20F36 57M25 68Q42 PDF BibTeX XML Cite \textit{J. Endrullis} and \textit{J. W. Klop}, Theor. Comput. Sci. 777, 260--295 (2019; Zbl 07067593) Full Text: DOI
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
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
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
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
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
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
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
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
Lucas, Salvador; Gutiérrez, Raúl Use of logical models for proving infeasibility in term rewriting. (English) Zbl 06873295 Inf. Process. Lett. 136, 90-95 (2018). MSC: 68Q PDF BibTeX XML Cite \textit{S. Lucas} and \textit{R. Gutiérrez}, Inf. Process. Lett. 136, 90--95 (2018; Zbl 06873295) Full Text: DOI
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
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 13P10 68W30 PDF BibTeX XML Cite \textit{J. Hossein Poor} et al., J. Symb. Comput. 85, 247--274 (2018; Zbl 06789139) Full Text: DOI
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
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
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
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
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: Link arXiv
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
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 (ISBN 978-3-662-54433-4/pbk; 978-3-662-54434-1/ebook). Lecture Notes in Computer Science 10201, 141-169 (2017). MSC: 68Nxx PDF BibTeX XML Cite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 10201, 141--169 (2017; Zbl 06721320) Full Text: DOI
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
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
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
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
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
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
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
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
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
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
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
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
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
Aoto, Takahito; Kikuchi, Kentaro Nominal confluence tool. (English) Zbl 06623260 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 173-182 (2016). MSC: 68T15 PDF BibTeX XML Cite \textit{T. Aoto} and \textit{K. Kikuchi}, Lect. Notes Comput. Sci. 9706, 173--182 (2016; Zbl 06623260) Full Text: DOI
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
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
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
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
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
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
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
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
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
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
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
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
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
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: DOI Link
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
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 Euclid
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
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
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
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
Ó 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
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
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
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
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
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
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
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
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
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
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
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
Bahr, Patrick Partial order infinitary term rewriting. (English) Zbl 1290.68066 Log. Methods Comput. Sci. 10, No. 2, Paper No. 6, 52 p. (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Bahr}, Log. Methods Comput. Sci. 10, No. 2, Paper No. 6, 52 p. (2014; Zbl 1290.68066) Full Text: DOI
Kanovich, Max Multiset rewriting over Fibonacci and tribonacci numbers. (English) Zbl 1327.68143 J. Comput. Syst. Sci. 80, No. 6, 1138-1151 (2014). MSC: 68Q42 05A17 11B39 PDF BibTeX XML Cite \textit{M. Kanovich}, J. Comput. Syst. Sci. 80, No. 6, 1138--1151 (2014; Zbl 1327.68143) Full Text: DOI
Hansen, Henri; Timmer, Mark A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. (English) Zbl 1359.68194 Theor. Comput. Sci. 538, 103-123 (2014). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{H. Hansen} and \textit{M. Timmer}, Theor. Comput. Sci. 538, 103--123 (2014; Zbl 1359.68194) Full Text: DOI
Cockx, Jesper; Piessens, Frank; Devriese, Dominique Overlapping and order-independent patterns. Definitional equality for all. (English) Zbl 1405.68075 Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 87-106 (2014). MSC: 68N30 68N15 68Q55 PDF BibTeX XML Cite \textit{J. Cockx} et al., Lect. Notes Comput. Sci. 8410, 87--106 (2014; Zbl 1405.68075) Full Text: DOI
Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications. (English) Zbl 1407.68312 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 92-109 (2014). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{M. Nakamura} et al., Lect. Notes Comput. Sci. 8373, 92--109 (2014; Zbl 1407.68312) Full Text: DOI
Accattoli, Beniamino Compressing polarized boxes. (English) Zbl 1366.03237 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 428-437 (2013). MSC: 03F52 03F05 03F07 PDF BibTeX XML Cite \textit{B. Accattoli}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 428--437 (2013; Zbl 1366.03237) Full Text: DOI
Ketema, Jeroen; Simonsen, Jakob Grue Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. (English) Zbl 1354.68143 ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013). MSC: 68Q42 03B40 03D20 PDF BibTeX XML Cite \textit{J. Ketema} and \textit{J. G. Simonsen}, ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013; Zbl 1354.68143) Full Text: DOI
Endrullis, Jörg; Klop, Jan Willem De Bruijn’s weak diamond property revisited. (English) Zbl 1360.68533 Indag. Math., New Ser. 24, No. 4, 1050-1072 (2013). MSC: 68Q42 03B40 68T15 PDF BibTeX XML Cite \textit{J. Endrullis} and \textit{J. W. Klop}, Indag. Math., New Ser. 24, No. 4, 1050--1072 (2013; Zbl 1360.68533) Full Text: DOI
Konieczny, Sébastien; Pino Pérez, Ramon Confluence operators and their relationships with revision, update and merging. (English) Zbl 1301.03020 Ann. Math. Artif. Intell. 69, No. 1, 73-101 (2013). Reviewer: David Makinson (London) MSC: 03B42 68T27 68T30 PDF BibTeX XML Cite \textit{S. Konieczny} and \textit{R. Pino Pérez}, Ann. Math. Artif. Intell. 69, No. 1, 73--101 (2013; Zbl 1301.03020) Full Text: DOI
Lambert, Caroline; Rousseau, Christiane Moduli space of unfolded differential linear systems with an irregular singularity of Poincaré rank 1. (English) Zbl 1292.34085 Mosc. Math. J. 13, No. 3, 529-550 (2013). Reviewer: Mykola Grygorenko (Kyïv) MSC: 34M35 34M40 34M50 34M03 PDF BibTeX XML Cite \textit{C. Lambert} and \textit{C. Rousseau}, Mosc. Math. J. 13, No. 3, 529--550 (2013; Zbl 1292.34085) Full Text: Link
Kullmann, Oliver; Zhao, Xishun On Davis-Putnam reductions for minimally unsatisfiable clause-sets. (English) Zbl 1296.03010 Theor. Comput. Sci. 492, 70-87 (2013). MSC: 03B35 PDF BibTeX XML Cite \textit{O. Kullmann} and \textit{X. Zhao}, Theor. Comput. Sci. 492, 70--87 (2013; Zbl 1296.03010) Full Text: DOI arXiv
Wibowo, Inu Laksito; Widodo, Basuki Numerical simulation on calculating volume sedimentation on two rivers confluences. (English) Zbl 1277.76116 Far East J. Math. Sci. (FJMS) 76, No. 2, 223-233 (2013). MSC: 76T25 86-08 65M99 65N99 PDF BibTeX XML Cite \textit{I. L. Wibowo} and \textit{B. Widodo}, Far East J. Math. Sci. (FJMS) 76, No. 2, 223--233 (2013; Zbl 1277.76116) Full Text: Link
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga Confluence in data reduction: bridging graph transformation and kernelization. (English) Zbl 1311.68184 Computability 2, No. 1, 31-49 (2013). MSC: 68W01 68Q17 68Q25 68Q42 68R10 PDF BibTeX XML Cite \textit{H. Ehrig} et al., Computability 2, No. 1, 31--49 (2013; Zbl 1311.68184) Full Text: DOI
Aoto, Takahito Disproving confluence of term rewriting systems by interpretation and ordering. (English) Zbl 1398.68268 Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 311-326 (2013). MSC: 68Q42 68T15 PDF BibTeX XML Cite \textit{T. Aoto}, Lect. Notes Comput. Sci. 8152, 311--326 (2013; Zbl 1398.68268) Full Text: DOI
Mráz, František; Otto, Friedrich Lambda-confluence is undecidable for clearing restarting automata. (English) Zbl 1298.68151 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 256-267 (2013). MSC: 68Q45 03D35 68Q42 PDF BibTeX XML Cite \textit{F. Mráz} and \textit{F. Otto}, Lect. Notes Comput. Sci. 7982, 256--267 (2013; Zbl 1298.68151) Full Text: DOI
Geuvers, Herman; Krebbers, Robbert; McKinna, James The \(\lambda \mu^{\mathbf{T}}\)-calculus. (English) Zbl 1273.03053 Ann. Pure Appl. Logic 164, No. 6, 676-701 (2013). Reviewer: Christoph Benzmüller (Berlin) MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{H. Geuvers} et al., Ann. Pure Appl. Logic 164, No. 6, 676--701 (2013; Zbl 1273.03053) Full Text: DOI
Stump, Aaron; Kimmell, Garrin; Zantema, Hans; El Haj Omar, Ruba A rewriting view of simple typing. (English) Zbl 1272.03142 Log. Methods Comput. Sci. 9, No. 1, Paper No. 4, 29 p. (2013). MSC: 03B70 68Q42 03B40 68T15 PDF BibTeX XML Cite \textit{A. Stump} et al., Log. Methods Comput. Sci. 9, No. 1, Paper No. 4, 29 p. (2013; Zbl 1272.03142) Full Text: DOI
Severi, Paula; de Vries, Fer-Jan Meaningless sets in infinitary combinatory logic. (English) Zbl 1437.03053 Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 288-304 (2012). MSC: 03B40 PDF BibTeX XML Cite \textit{P. Severi} and \textit{F.-J. de Vries}, LIPIcs -- Leibniz Int. Proc. Inform. 15, 288--304 (2012; Zbl 1437.03053) Full Text: DOI