先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
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 Logic
Harsh Beohar; Barbara Konig; Sebastian Kupper; Christina Mika-Michalski
2022
Discrete Density Comonads and Graph Parameters
Samson Abramsky; Tomas Jakl; Thomas Paine
2022
Coalgebraic Semantics for Nominal Automata
Florian Frank; Stefan Milius; Henning Urbat
2022
A Categorical Framework for Learning Generalised Tree Automata
Gerco van Heerdt; Tobias Kappe; Jurriaan Rot; Matteo Sammartino; Alexandra Silva
2022
Saturated Kripke Structures as Vietoris Coalgebras
H. Peter Gumm; Mona Taheri
2022
Algebraic Presentation of Semifree Monads
Alois Rosset; Helle Hvid Hansen; Jorg Endrullis
2022
Corecursion Up-to via Causal Transformations
Damien Pous; Jurriaan Rot; Ruben Turkenburg
2022
Corecursive Algebras in Nature
Lawrence S. Moss; Victoria Noquez
2022
Stick Breaking, in Coalgebra and Probability
Bart Jacobs
2022
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024