约夫·罗德;斯特里赫曼(Ofer Strichman) 构建小型等式图,以确定具有未解释函数的等式逻辑。 (英语) Zbl 1093.03013号 Inf.计算。 204,第1期,26-59(2006).MSC公司:03B70号 03年2月25日 12升05 第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman},Inf.Comput。204,第1号,26-59(2006;Zbl 1093.03013) 全文: 内政部
沃伊切赫·彭泽克 关于迹系统上命题时间逻辑的不可判定性。 (英语) Zbl 0771.03006号 信息处理。莱特。 43,第3期,147-153(1992). 审核人:F.V.Burstein(墨尔本) MSC公司:03B45号 2010年第68季度 03年2月25日 03天35分 03B80号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},Inf.过程。莱特。43,第3号,147--153(1992;Zbl 0771.03006) 全文: 内政部