雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1262.03051号 Inf.计算。 211, 106-137 (2012). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70型 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,《信息计算》。211、106-137(2012;Zbl 1262.03051) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,第3号,305-323(2009).MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.纯应用。逻辑161,No.3,305--323(2009;Zbl 1225.68068) 全文: 内政部