@第{zbMATH07372257条，作者={Pasteczka，Pawe{\l}}，标题={在线预含义及其计算复杂性}，FJournal={数学成绩}，日志={Result.Math.}，ISSN={1422-6383}，体积={76}，数字={3}，页码={23}，注={Id/No 141}，年份={2021}，语言={英语}，DOI={10.1007/s00025-021-01452-z}，关键词={26E60.68Q45.68W27}，zbMATH={7372257}，Zbl={1518.26018}}