拉兹万·迪亚科内斯库 介绍\(H\),一种基于机构的形式化规范和验证语言。 (英文) Zbl 1484.68106号 日志。Univers大学。 14,第2期,259-277(2020).MSC公司:第68季度第65季度 03B45号 03C98号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},日志。Univers大学。14,第2号,259--277(2020;Zbl 1484.68106) 全文: 内政部 arXiv公司
穆罕默德·贝尔卡斯米 积极合并。 (英文) Zbl 1484.03074号 日志。Univers大学。 14,第2期,243-258(2020年).MSC公司:03C95号 03C48号 03C10号机组 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Belkasmi},日志。Univers大学。14,第2号,243--258(2020;Zbl 1484.03074) 全文: 内政部 arXiv公司
詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 作为复杂性度量的证明的基本结构。 (英文) Zbl 1457.03071号 日志。Univers大学。 209-242(2020)第2期第14页. 审核人:Ariel Germanán Fernández(布宜诺斯艾利斯) MSC公司:20层03 03财年03 03B10号机组 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人,日志。Univers大学。14,第2号,209--242(2020;Zbl 1457.03071) 全文: 内政部
泽诺托法诺 乔治·布尔精神中的特征逻辑。 (英文) Zbl 1439.81010号 日志。Univers大学。 第2175-207号第14页(2020年).MSC公司:81页第10页 03G12号机组 03英镑05 05元50分 15A69号 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Z.Toffano},日志。Univers大学。14,第2号,175--207(2020;Zbl 1439.81010) 全文: 内政部 arXiv公司
帕维尔·阿拉齐姆 超越逻辑多元论和逻辑一元论。 (英文) Zbl 1471.03004号 日志。Univers大学。 14,第2期,151-174(2020). 审核人:劳拉·克罗西拉(利兹) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Arazim},日志。Univers大学。14,第2号,151--174(2020;Zbl 1471.03004) 全文: 内政部