@第{zbMATH05898613条，作者＝{Lenzi，Giacomo}，标题={关于模态{{\（\mu\）}}的最新结果-演算：调查}，FJournal={Rendiconti dell'Instituto di Matematica dell'特里亚斯特大学{\`a}，期刊={Rend.Ist.Mat.Univ.Trieste}，ISSN={0049-4704}，体积={42}，页码={235--255}，年份={2010}，语言={英语}，关键词={03B70,03B45,03B44,68Q45,68Q60,03-02,68-02}，URL={rendiconti.dmi.units.it/volumi/42/140.pdf}，zbMATH={5898613}，Zbl={1276.03027}}