@收集{zbMATH06196324，作者={Carreiro，Facundo和Gor{'{i}}n，Daniel和Schr{“o}der，Lutz}，标题={Coalgebraic公告逻辑}，BookTitle={自动化、语言和编程。第40届国际学术讨论会，2013年ICALP，拉脱维亚里加，2013年7月8日至12日，会议记录，第二部分}，国际标准图书编号={978-3-642-39211-5}，页码={101--112}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-39212-2_12}，关键词={03B42,03G30}，zbMATH={6196324}，Zbl={1335.03014}}