×

Found 490 Documents (Results 1–100)

Adding matrix control: insertion-deletion systems with substitutions. III. (English) Zbl 1490.68133

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 577-592 (2021).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI

On a certain class of hyperbolic equations with second-order integrals. (English. Russian original) Zbl 1457.35049

J. Math. Sci., New York 252, No. 2, 168-174 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 152, 46-52 (2018).
MSC:  35Q51 37K60
PDF BibTeX XML Cite
Full Text: DOI

Insertion-deletion systems with substitutions. I. (English) Zbl 07633524

Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 366-378 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Binary constant-length substitutions and Mahler measures of Borwein polynomials. (English) Zbl 1461.11143

Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 303-322 (2020).
MSC:  11R09 37P99
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nominal string diagrams. (English) Zbl 07649901

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 18, 20 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

The domino problem is undecidable on surface groups. (English) Zbl 07561690

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 46, 14 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards the average-case analysis of substitution resolution in \(\lambda\)-calculus. (English) Zbl 07559273

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 7, 21 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Generalizations of the genomic rank distance to indels. (English) Zbl 1416.92122

Holmes, Ian (ed.) et al., Algorithms for computational biology. 6th international conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11488, 152-164 (2019).
MSC:  92D10
PDF BibTeX XML Cite
Full Text: DOI

Explicit auditing. (English) Zbl 06983517

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 376-395 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Optimality and the linear substitution calculus. (English) Zbl 1434.68217

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 9, 16 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI

A set of sequences of complexity \(2n+1\). (English) Zbl 1405.68256

Brlek, Srečko (ed.) et al., Combinatorics on words. 11th international conference, WORDS 2017, Montréal, QC, Canada, September 11–15, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66395-1/pbk; 978-3-319-66396-8/ebook). Lecture Notes in Computer Science 10432, 144-156 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Non-\(\omega\)-overlapping TRSs are UN. (English) Zbl 1387.03028

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 22, 17 p. (2016).
MSC:  03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Beta reduction is invariant, indeed. (English) Zbl 1394.03020

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 8, 10 p. (2014).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Distilling abstract machines. (English) Zbl 1345.68036

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 363-376 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A nonstandard standardization theorem. (English) Zbl 1284.68121

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 659-670 (2014).
MSC:  68N18 68T15 68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software