@第{zbMATH07538336条，作者={Baldan、Paolo和Gorla、Daniele和Padoan、Tommaso和Salvo、Ivano}，标题={事件结构等价物的表征谱，逻辑}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={285}，页码={25}，注={Id/编号104887}，年份={2022}，语言={英语}，DOI={10.1016/j.ic.2022.104887}，关键词={68Q85,03B45}，zbMATH={7538336}，Zbl={1504.68138}}