萨恩多·瓦莱伊 关于一些一阶时空理论的公理化。 (英语) Zbl 1357.03068号 合成 192,第7号,2293-2309(2015).MSC公司:03B80号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Vályi},Synthese 192,No.7,2293--2309(2015;Zbl 1357.03068) 全文: 内政部
娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen,黄岩;阿卜杜尔·拉基布 验证推理机系统中的时间、内存和通信边界。 (英语) Zbl 1187.68571号 合成 169,第2期,385-403(2009).MSC公司:第68页第27页 03B42号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Synthese 169,No.2,385--403(2009;Zbl 1187.68571) 全文: 内政部
M.卡普扎克。;彭泽克,W。 一种基于SAT的方法,用于交替时间-时间认知逻辑的无界模型检查。 (英语) Zbl 1072.03012号 合成 142,第2期,203-227(2004).MSC公司:03B42号 03B44号 第68页第27页 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}和\textit{W.Penczek},综合142,第2期,203-227(2004;Zbl 1072.03012) 全文: 内政部