×

Found 671 Documents (Results 1–100)

100
MathJax

Beautiful formalizations in Isabelle/Naproche. (English) Zbl 07511923

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 19-31 (2021).
MSC:  68V20
PDF BibTeX XML Cite
Full Text: DOI

Verification of multiplayer stochastic games via abstract dependency graphs. (English) Zbl 07496651

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, 249-268 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021).
MSC:  68Q85 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fixpoint theory – upside down. (English) Zbl 07410419

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 62-81 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

A remark on the Caristi’s fixed point theorem and the Brouwer fixed point theorem. (English) Zbl 1450.54016

Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 93-99 (2021).
MSC:  54H25 47H10
PDF BibTeX XML Cite
Full Text: DOI

Local higher-order fixpoint iteration. (English) Zbl 07455743

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 97-113 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Efficient lambda encodings for Mendler-style coinductive types in Cedille. (English) Zbl 07453169

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 72-97 (2020).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: arXiv Link

Deciding the bisimilarity of context-free session types. (English) Zbl 1483.68219

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 39-56 (2020).
MSC:  68Q85 68N20 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Two-sided matching models. (English) Zbl 1458.91147

Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 371-400 (2020).
MSC:  91B68
PDF BibTeX XML Cite
Full Text: DOI

Galois connections for recursive types. (English) Zbl 1440.68042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Survey on Cauchy functional equation in lattice environments. (English) Zbl 1448.39042

Brzdęk, Janusz (ed.) et al., Ulam type stability. Based on the conferences on Ulam type stability (CUTS), Cluj-Napoca, Romania, July 4–9, 2016 and Timisoara, Romania, October 8–13, 2018. Cham: Springer. 1-46 (2019).
PDF BibTeX XML Cite
Full Text: DOI

From mathesis universalis to fixed points and related set-theoretic concepts. (English) Zbl 1469.03140

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 113-129 (2019).
PDF BibTeX XML Cite
Full Text: DOI

On three-valued acceptance conditions of abstract dialectical frameworks. (English) Zbl 1433.68415

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 3-23 (2019).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Reachability analysis via orthogonal sets of patterns. (English) Zbl 07513446

Sanguinetti, Guido (ed.) et al., Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 335, 27-48 (2018).
MSC:  92C42
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

Biographic Reference

all top 3

Software