蒂姆金,M。;Makowsky,J.A。 有限概率命题动态逻辑的可判定性。 (英语) Zbl 0732.03022号 Inf.计算。 94,第2期,180-203(1991). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 03B25号 03B45号 03B48号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiomkin}和\textit{J.A.Makowsky},《信息计算》。94,第2号,180--203(1991;Zbl 0732.03022) 全文: 内政部
德巴克尔,J.W。 无逻辑逻辑编程中控制流的比较语义。 (英语) Zbl 0728.68080号 Inf.计算。 94,第2期,123-179(1991).MSC公司:68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker},Inf.计算。94,No.2,123--179(1991;Zbl 0728.68080) 全文: 内政部
斯特凡诺·贝拉尔迪 作为Type:Type的模型收回dI-domains。 (英语) Zbl 0728.68036号 Inf.计算。 94,第2期,204-231(1991).MSC公司:68甲15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi},信息计算。94,第2号,204--231(1991;Zbl 0728.68036) 全文: 内政部
马提亚斯·克劳斯;斯蒂芬·瓦克 关于线性长度的不经意分支程序。 (英语) Zbl 0727.68038号 Inf.计算。 94,第2期,232-249(1991).MSC公司:2015年第68季度 2005年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Krause}和\textit{S.Waack},Inf.Compute。94,第2号,232--249(1991;Zbl 0727.68038) 全文: 内政部