×

Found 427 Documents (Results 1–100)

100
MathJax

Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 1485.05074

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
MSC:  34M03 34M35 34M40
PDF BibTeX XML Cite
Full Text: DOI arXiv

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:  03B38 55U35 20E05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Probabilistic rewriting: normalization, termination, and unique normal forms. (English) Zbl 07559285

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 19, 25 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI arXiv Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

Confluence of graph rewriting with interfaces. (English) Zbl 1485.68124

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software