罗斯·霍恩;绍克·莫;塞门·尤尔科夫 当隐私失效时,一个公式描述了一种攻击:应用的(pi)演算的完整组合验证方法。 (英语) Zbl 07685353号 西奥。计算。科学。 959,文章ID 113842,42 p.(2023).MSC公司:第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,Theor。计算。科学。959,文章ID 113842,42 p.(2023;Zbl 07685353) 全文: DOI程序
考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 线性逻辑顺序计算的形式化元理论。 (英语) Zbl 1425.03007号 西奥。计算。科学。 781, 24-38 (2019).MSC公司:03B35型 03B47号 05年3月 03楼52 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,Theor。计算。科学。781,24-38(2019;Zbl 1425.03007) 全文: DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 (英语) Zbl 1371.68197号 西奥。计算。科学。 685, 46-64 (2017).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel},Theor。计算。科学。685、46-64(2017年;Zbl 1371.68197) 全文: DOI程序