斯特凡·格勒;德克·诺沃特卡 关于PDL扩展的注释。 (英语) Zbl 1156.03033号 J.应用。日志。 6,第4号,606-608(2008).MSC公司:03B70号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}和\textit{D.Nowotka},J.Appl。日志。6,第4号,606--608(2008;Zbl 1156.03033) 全文: 内政部
克里斯托夫·Löding;卡斯滕·卢茨;奥利维尔·塞雷 带有递归程序的命题动态逻辑。 (英语) Zbl 1123.03017号 J.日志。阿尔盖布。程序。 73,编号1-2,51-69(2007).MSC公司:03B70号 03B25号 60年第68季度 65年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}等人,J.Log。阿尔盖布。程序。73,编号1--2,51-69(2007;Zbl 1123.03017) 全文: 内政部 哈尔
马丁·兰格;拉法·索姆拉 无上下文程序的命题动态逻辑和带有chop的不动点逻辑。 (英语) Zbl 1185.68391号 信息处理。莱特。 100,第2期,72-75(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}和\textit{R.Somla},Inf.过程。莱特。100,第2号,72--75(2006;Zbl 1185.68391) 全文: 内政部
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 无冲突Petri网的公平性和时序逻辑问题。 (英语) Zbl 0673.68040号 西奥。计算。科学。 64,第3号,305-329(1989). 审核人:M.Jantzen先生 MSC公司:68问题85 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Howell}和\textit{L.E.Rosier},Theor。计算。科学。64,第3号,305-329(1989;Zbl 0673.68040) 全文: 内政部
D.哈雷。;帕特森,M.S。 具有\(L=\{a^{2^i}|i\geq0\}\)的PDL的不可判定性。 (英语) Zbl 0553.03029号 J.计算。系统。科学。 29, 359-365 (1984). 审核人:H.西村 MSC公司:03天35分 03B45号 68问题65 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{M.S.Paterson},J.Comput。系统。科学。29359--365(1984年;Zbl 0553.03029) 全文: 内政部
大卫·哈雷;阿米尔·普努利;乔纳森·斯塔维 非规则程序的命题动态逻辑。 (英语) Zbl 0536.68041号 J.计算。系统。科学。 26, 222-243 (1983). 审核人:H.西村 MSC公司:68问题65 60年第68季度 03B60号 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,J.Compute。系统。科学。26、222--243(1983年;Zbl 0536.68041) 全文: 内政部