会议文集


文集名Coalgebraic Methods in Computer Science
会议名16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), Colocated with ETAPS 2022
中译名《第十六届IFIP WG 1.3国际计算机科学中的代数方法讨论会》
机构International Federation for Information Processing (IFIP)
会议日期April 2-3, 2022
会议地点Munich, Germany
出版年2022
馆藏号344096


题名作者出版年
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal LogicHarsh Beohar; Barbara Konig; Sebastian Kupper; Christina Mika-Michalski2022
Discrete Density Comonads and Graph ParametersSamson Abramsky; Tomas Jakl; Thomas Paine2022
Coalgebraic Semantics for Nominal AutomataFlorian Frank; Stefan Milius; Henning Urbat2022
A Categorical Framework for Learning Generalised Tree AutomataGerco van Heerdt; Tobias Kappe; Jurriaan Rot; Matteo Sammartino; Alexandra Silva2022
Saturated Kripke Structures as Vietoris CoalgebrasH. Peter Gumm; Mona Taheri2022
Algebraic Presentation of Semifree MonadsAlois Rosset; Helle Hvid Hansen; Jorg Endrullis2022
Corecursion Up-to via Causal TransformationsDamien Pous; Jurriaan Rot; Ruben Turkenburg2022
Corecursive Algebras in NatureLawrence S. Moss; Victoria Noquez2022
Stick Breaking, in Coalgebra and ProbabilityBart Jacobs2022



©2016机械工业出版社（机械工业信息研究院） 京ICP备05055788号-35