沃尔夫冈·托马斯 命题时间逻辑中的安全性和活性:特征化和可判定性。 (英语) Zbl 0759.03011号 计算理论中的数学问题,Proc。第26学期,华沙/波兰,1985年,巴纳赫中心。出版物。21, 403-417 (1988).MSC公司:03B45号 65年第68季度 03B25号 20立方米 03C80号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas},巴纳赫分币。出版物。21403--417(1988;Zbl 0759.03011)
简·格拉博夫斯基 矢量添加系统理论中的线性方法。三、。 (德语) Zbl 0447.68061号 研讨会。,洪堡大学(Sekt.Berlin)。数学。 28、64 S.(1980).MSC公司:68问题85 03B25号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Grabowski},研讨会。,洪堡大学(Sekt.Berlin)。数学。28、64 S.(1980年;Zbl 0447.68061)