滑动 发表于 2025-3-23 11:20:29
http://reply.papertrans.cn/23/2288/228704/228704_11.png蜈蚣 发表于 2025-3-23 17:01:47
http://reply.papertrans.cn/23/2288/228704/228704_12.pngintoxicate 发表于 2025-3-23 18:38:32
http://reply.papertrans.cn/23/2288/228704/228704_13.pngascend 发表于 2025-3-24 01:19:51
http://reply.papertrans.cn/23/2288/228704/228704_14.pngfiscal 发表于 2025-3-24 03:38:47
http://reply.papertrans.cn/23/2288/228704/228704_15.pngMinutes 发表于 2025-3-24 09:06:48
http://reply.papertrans.cn/23/2288/228704/228704_16.png唤醒 发表于 2025-3-24 13:02:16
Coalgebraic Methods in Computer Science978-3-030-00389-0Series ISSN 0302-9743 Series E-ISSN 1611-3349comely 发表于 2025-3-24 18:54:43
http://reply.papertrans.cn/23/2288/228704/228704_18.pngneolith 发表于 2025-3-24 20:59:50
http://reply.papertrans.cn/23/2288/228704/228704_19.pngCurmudgeon 发表于 2025-3-24 23:33:25
Conference proceedings 2018e, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018..The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras..