安德热伊·因德泽扎克 实现平等的新方法。 (英语) Zbl 1529.03267号 合成 199,编号1-2,4749-4774(2021).MSC公司:03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak},综合199,编号1--2,4749-4774(2021;Zbl 1529.03267) 全文: 内政部
伊沃·佩兹拉 假设的占位符视图和Curry-Howard通信。 (英语) Zbl 1525.03053号 合成 198,第11期,10109-10125(2021).MSC公司:03B20型 03财年03 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{I.Pezlar},合成198,编号11,10109--10125(2021;Zbl 1525.03053) 全文: 内政部
萨拉·内格里 代数拓扑表示定理的内涵。 (英语) Zbl 1507.03030号 合成 198,补充5,S1121-S1143(2021).MSC公司:03年05月 03B20型 05年3月 18英尺70英寸 54D20个 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri},合成198,S1121--S1143(2021;Zbl 1507.03030) 全文: 内政部 链接
博格丹·迪彻;弗朗西斯科·保利 证明理论语义的原罪。 (英语) Zbl 1506.03017号 合成 198,第1期,615-640(2021).MSC公司:03年05月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{B.Dicher}和\textit{F.Paoli},合成198,第1号,615--640(2021;Zbl 1506.03017) 全文: 内政部