×

Found 846 Documents (Results 1–100)

Corecursive algebras in nature. (English) Zbl 07628071

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 155-175 (2022).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Corecursion up-to via causal transformations. (English) Zbl 07628070

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

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

A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443

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, 551-571 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Color Hom-Lie bialgebras. (English) Zbl 1493.17023

Asashiba, Hideto (ed.) et al., Ring theory 2019. Proceedings of the eighth China-Japan-Korea international symposium on ring theory. Nagoya University, Nagoya, Japan, August 26–31, 2019. Hackensack, NJ: World Scientific. 66-82 (2021).
MSC:  17B75 17B61 17B62
PDF BibTeX XML Cite
Full Text: DOI

Characteristic logics for behavioural metrics via fuzzy Lax extensions. (English) Zbl 07559483

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 27, 23 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

On Hom-Yetter-Drinfeld category. (English) Zbl 07392794

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 339-358 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Coalgebraic geometric logic. (English) Zbl 07649890

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

\(\Omega\)-automata: a coalgebraic perspective on regular \(\omega\)-languages. (English) Zbl 07649888

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

Coinduction: automata, formal proof, companions (invited paper). (English) Zbl 07649887

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

On the coalgebra of partial differential equations. (English) Zbl 07561668

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 24, 13 p. (2019).
MSC:  68Qxx
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

Main Field

all top 3

Software