×

Found 13 Documents (Results 1–13)

Confluence of conditional rewriting in logic form. (English) Zbl 07799622

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 44, 18 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On the logical strength of confluence and normalisation for cyclic proofs. (English) Zbl 07700634

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 29, 23 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Z; syntax-free developments. (English) Zbl 07700629

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 24, 22 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 3

Main Field

Software