西蒙,罗ß科普夫;托比亚斯·尼普科 伊莎贝尔的元逻辑的形式化和证明检查器。 (英语) Zbl 1502.68353号 J.汽车。推理 67,第1期,第1号论文,21页(2023年).MSC公司:68伏15 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Roßkopf}和\textit{T.Nipkow},J.Autom。推理67,第1号,论文1,21页(2023;Zbl 1502.68353) 全文: 内政部
萨尔瓦多卢卡斯 派生复杂性和上下文敏感重写。 (英语) Zbl 07461269号 J.汽车。推理 65,第8期,1191-1229(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理65,No.8,1191--1229(2021;Zbl 07461269) 全文: 内政部
维罗尼克·科尔蒂尔;斯特凡尼德劳恩;毗湿那维Sundararajan 一类可判定的安全协议,具有可达性和等价性。 (英语) Zbl 07356980号 J.汽车。推理 65,第479-520号(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人,J.Autom。推理65,No.4,479--520(2021;Zbl 07356980) 全文: 内政部 链接
关勇;张敬之;王国辉;李锡盟;史志平;李永东 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 (英语) Zbl 07356966号 J.汽车。推理 65,编号1,1-29(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guan}等人,J.Autom。推理65,No.1,1-29(2021;Zbl 07356966) 全文: 内政部
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。二: 已验证静态分析和隐形内存。 (英语) Zbl 1459.68027号 J.汽车。推理 64,第8期,1685-1729(2020).MSC公司:68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理64,No.8,1685--1729(2020;Zbl 1459.68027) 全文: 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。二: 先进的处理器和实现技术。 (英语) 兹比尔1459.68092 J.汽车。推理 64,第8期,1611-1662(2020).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,J.Autom。推理64,编号8,1611-1662(2020;兹bl 1459.68092) 全文: 内政部
彼得·鲍姆加特纳;雷娜特·施密特(Renate A.Schmidt)。 自底向上模型生成方法的阻塞和其他增强。 (英语) Zbl 1468.68279号 J.汽车。推理 64,第2期,197-251(2020年).MSC公司:68伏15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{R.A.Schmidt},J.Autom。推理64,No.2,197--251(2020;Zbl 1468.68279) 全文: 内政部
萨尔瓦多卢卡斯 使用基础良好的关系证明操作终止。 (英语) Zbl 1468.03034号 J.汽车。推理 64,第2期,167-195(2020).MSC公司:03B70号 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64,No.2,167--195(2020;Zbl 1468.03034) 全文: 内政部 链接
卢卡·保里尼;毛罗·皮科洛;玛格丽塔·佐齐 高阶语言和量子电路。 (英语) Zbl 1468.68049号 J.汽车。推理 63,第4期,941-966(2019).MSC公司:68甲15 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \文本{L.Paolini}等人,J.Autom。推理63,第4号,941-966(2019;Zbl 1468.68049) 全文: 内政部 arXiv公司
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq构造型理论中的正则语言表示。 (英语) Zbl 1451.68146号 J.汽车。推理 61,编号1-4521-553(2018).MSC公司:65年第68季度 03年2月25日 03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka},J.Autom。推理61,No.1--4,521--553(2018;Zbl 1451.68146) 全文: 内政部 哈尔
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 (英语) Zbl 1398.68095号 J.汽车。推理 60,第4期,465-501(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez},J.Autom。推理60,No.4,465--501(2018;Zbl 1398.68095) 全文: 内政部 链接