弗洛里安·布鲁斯;奥利弗·弗里德曼;马丁·兰格 关于模态\(\mu\)演算中的保护变换。 (英语) Zbl 1405.03048号 日志。J.IGPL公司 23,第2期,194-216(2015)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人,日志。J.IGPL 23,编号2194-216(2015年;Zbl 1405.03048) 全文: 内政部 arXiv公司
奥利弗·弗里德曼;马丁·兰格 求解奇偶博弈的两个局部策略迭代方案。 (英语) Zbl 1246.91025号 发现的国际期刊。计算。科学。 23,第3期,669-685(2012)。MSC公司:91A43型 91A05型 60年第68季度 03B80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange},国际期刊发现。计算。科学。23,第3号,669--685(2012;Zbl 1246.91025) 全文: 内政部