×

Found 327 Documents (Results 1–100)

100
MathJax

Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 07378374

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Homogeneity without loss of generality. (English) Zbl 1462.68025

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 27, 15 p. (2018).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Type-two polynomial-time and restricted lookahead. (English) Zbl 1452.03097

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 579-588 (2018).
MSC:  03D65 03B40
PDF BibTeX XML Cite
Full Text: DOI arXiv

The complexity of the diagonal problem for recursion schemes. (English) Zbl 07278117

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 45, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Recursion schemes and the WMSO+U logic. (English) Zbl 07228444

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018).
MSC:  03B25
PDF BibTeX XML Cite
Full Text: DOI

A direct algorithm for constructing recursion operators and Lax pairs for integrable models. (English. Russian original) Zbl 1454.37062

Theor. Math. Phys. 196, No. 2, 1200-1216 (2018); translation from Teor. Mat. Fiz. 196, No. 2, 294-312 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nonlocal symmetries of integrable linearly degenerate equations: a comparative study. (English. Russian original) Zbl 1403.35019

Theor. Math. Phys. 196, No. 2, 1089-1110 (2018); translation from Teor. Mat. Fiz. 196, No. 2, 169-192 (2018).
MSC:  35B06 35G20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Logic and regular cost functions. (English) Zbl 1452.03089

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 1, 4 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

Streett automata model checking of higher-order recursion schemes. (English) Zbl 1441.68135

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 32, 18 p. (2017).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Domains for higher-order games. (English) Zbl 1441.68125

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017).
MSC:  68Q45 68Q55 91A80
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the relationship between higher-order recursion schemes and higher-order fixpoint logic. (English) Zbl 1380.68277

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 246-259 (2017).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI HAL

Functional programming in R. Advanced statistical programming for data science, analysis and finance. (English) Zbl 1376.68002

Berlin: Springer/Apress (ISBN 978-1-4842-2745-9/pbk; 978-1-4842-2746-6/ebook). xv, 104 p. (2017).
MSC:  68-01 62-04 68N18
PDF BibTeX XML Cite
Full Text: DOI

Effectiveness of Hindman’s theorem for bounded sums. (English) Zbl 1480.03005

Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 134-142 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The diagonal problem for higher-order recursion schemes is decidable. (English) Zbl 1401.68158

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 96-105 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016).
MSC:  68N30 03B15 03B70 03G30 55U40 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Coverings over Lax integrable equations and their nonlocal symmetries. (English. Russian original) Zbl 1351.35022

Theor. Math. Phys. 188, No. 3, 1273-1295 (2016); translation from Teor. Mat. Fiz. 188, No. 3, 361-385 (2016).
MSC:  35G20 37K10 14H70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Foundational extensible corecursion: a proof assistant perspective. (English) Zbl 1360.68358

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 192-204 (2015).
MSC:  68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

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

Biographic Reference

all top 3

Software