@第{zbMATH05675355条，作者={鲍耶、帕特里夏和骑士、法布里斯和马基、尼古拉斯}，标题={关于{TPTL}和{MTL}}的表达性，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN＝{0890-5401}，体积={208}，数字={2}，页码={97--116}，年份＝{2010}，语言={英语}，DOI={10.1016/j.ic.2009.10.004}，关键词={03B44}，zbMATH＝{5675355}，Zbl={1209.03010}}