阿南塔拉曼,湿婆;林,海;克里斯托弗·林奇;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模同态加密。 (英语) Zbl 1242.68096号 J.汽车。推理 48,第2期,135-158(2012).MSC公司:68第25页 68个M12 2012年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理48,No.2,135--158(2012;Zbl 1242.68096) 全文: 内政部
亚尼克·骑士;米歇尔·鲁西诺维奇 符号推导等价性的判定。 (英语) 兹比尔1242.68097 J.汽车。推理 第2号第48页,第263-292页(2012年).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},J.Autom。推理48,No.2,263--292(2012;Zbl 1242.68097) 全文: 内政部
阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模ACUI加分配公理。 (英语) Zbl 1063.03006号 J.汽车。推理 33,第1期,1-28页(2004年).MSC公司:03B35型 68吨15 2012年第68季度 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理33,No.1,1--28(2004;Zbl 1063.03006) 全文: 内政部
米歇尔·鲁西诺维奇;斯特拉图拉特,索林;弗朗西斯·克莱 理想增量ABR一致性算法的机械验证。 (英语) Zbl 1023.68090号 J.汽车。推理 30,第2期,153-177(2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rusinovitch}等人,J.Autom。推理30,第2期,153--177(2003;Zbl 1023.68090) 全文: 内政部
巴利亚特·纳伦德兰;米歇尔·鲁西诺维奇 任何基结合交换理论都有一个有限的正则系统。 (英语) 兹比尔0878.68076 J.汽车。推理 第1131-143号第17页(1996年).MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{M.Rusinovitch},J.Autom。推理17,No.1,131--143(1996;Zbl 0878.68076) 全文: 内政部
阿黛尔·布胡拉;米歇尔·鲁西诺维奇 条件理论中的隐含归纳法。 (英语) Zbl 0819.68114号 J.汽车。推理 14,第2期,189-235(1995).MSC公司:68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}和\textit{M.Rusinovitch},J.Autom。推理14,No.2,189--235(1995;Zbl 0819.68114) 全文: 内政部