马哈茂德·巴赫西 非交换剩余格上的时态算子。 (英语) Zbl 1396.03024号 软计算。 21,第15号,4257-4268(2017).MSC公司:03B44号 03G25号 05年6月 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bakhshi},软计算。21,第15号,4257-4268(2017;Zbl 1396.03024) 全文: 内政部
朱旭东;李健芬;张惠友 为统一实时系统优化路径实时逻辑。 (英语) Zbl 1425.68049号 软计算。 21,第12号,3135-3145(2017).MSC公司:68平方米 03B44号 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhu}等人,《软计算》。21,第12号,3135-3145(2017;Zbl 1425.68049) 全文: 内政部
阿尔多·菲加洛五世。;古斯塔沃·佩莱泰 埃瓦尔德直觉主义时态逻辑的代数公理化。 (英语) 兹伯利1325.03018 软计算。 18,第10号,1873-1883(2014).MSC公司:03B44号 03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Figallo}和\textit{G.Pelaitay},软计算。18,第10号,1873--1883(2014;Zbl 1325.03018) 全文: 内政部