拉莫斯,蒂亚戈·门登萨·费雷拉;阿丽亚娜·阿尔维斯·阿尔梅达;毛里西奥·阿亚拉·林科恩 图灵完备函数语言模型计算理论的形式化。 (英语) Zbl 1511.68338号 J.汽车。推理 66,第4期,1031-1063(2022).理学硕士:68V20型 03日第10天 03D20日 68甲18 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.M.F.Ramos}等人,J.Autom。推理66,No.4,1031--1063(2022;Zbl 1511.68338) 全文: 内政部
马塞多,努诺;朱利安·布鲁内尔;戴维·谢穆伊尔;阿尔西诺·库尼亚 Pardinus:时间关系模型查找器。 (英语) Zbl 1512.68158号 J.汽车。推理 66,第4号,861-904(2022).理学硕士:第68季度第60季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人,J.Autom。推理66,No.4,861--904(2022;Zbl 1512.68158) 全文: 内政部 哈尔
安德烈·普拉泽 更正为:“混合系统的差分动态逻辑”。 (英语) Zbl 07498611号 J.汽车。推理 66、第1、173号(2022年).理学硕士:68伏15 03B70号 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理66,No.1,173(2022;Zbl 07498611) 全文: 内政部 OA许可证
安东尼·博尔吉;汉娜·拉奇尼特;何义军 Isabelle/HOL认证量子计算。 (英语) Zbl 07432184号 J.汽车。推理 65,第5号,691-709(2021).理学硕士:03B35型 03B15号机组 81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bordg}等人,J.Autom。推理65,No.5,691--709(2021;Zbl 07432184) 全文: 内政部 arXiv公司 OA许可证
陈兴伦;迈克尔·诺里什 AKS算法的机械化。 (英语) Zbl 1465.68301号 J.汽车。推理 65,第2号,205-256(2021).理学硕士:68V20型 03B35型 11页51 11年11月 2016年11月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Chan}和textit{M.Norrish},J.Autom。推理65,No.2,205--256(2021;Zbl 1465.68301) 全文: 内政部
马塞洛·芬格;桑德罗·普雷托 可能部分正确:Łukasiewicz无穷值概率逻辑和相关主题的可满足性。 (英语) Zbl 1468.68200号 J.汽车。推理 64,第7期,1269-1286(2020).理学硕士:68T20型 03B48号 03B50号 03B52型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{S.Preto},J.Autom。推理64,No.7,1269--1286(2020;Zbl 1468.68200) 全文: 内政部
达斯,阿努帕姆 从QBF到购物中心并通过聚焦返回。 (英语) Zbl 1468.68104号 J.汽车。推理 64,第7期,1221-1245(2020).理学硕士:2015年第68季度 20层03 03楼52 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das},J.Autom。推理64,编号71221-1245(2020;兹bl 1468.68104) 全文: 内政部 OA许可证
加迪·特利兹;詹姆斯·布罗瑟斯顿 使用循环证明自动验证指针程序的时间属性。 (英语) Zbl 1468.68137号 J.汽车。推理 64,第3期,555-578(2020年).理学硕士:第68季度第60季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Tellez}和\textit{J.Brotherston},J.Autom。推理64,No.3,555--578(2020;Zbl 1468.68137) 全文: 内政部 OA许可证
萨尔瓦多卢卡斯 使用基础良好的关系证明操作终止。 (英语) Zbl 1468.03034号 J.汽车。推理 64,第2期,167-195(2020).理学硕士:03B70号 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64,No.2,167--195(2020;Zbl 1468.03034) 全文: 内政部 链接
哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 (英语) 兹比尔1468.68128 J.汽车。推理 63,第4期,1077-1101(2019).理学硕士:第68季度第60季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,J.Autom。推理63,No.4,1077--1101(2019;Zbl 1468.68128) 全文: 内政部
希思,昆廷;戴尔·米勒 模型检验的证明理论。 (英语) Zbl 1468.03078号 J.汽车。推理 63,第4期,857-885(2019).理学硕士:03楼52 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Heath}和\textit{D.Miller},J.Autom。推理63,No.4,857--885(2019;Zbl 1468.03078) 全文: 内政部 哈尔
帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 (英语) Zbl 1468.68057号 J.汽车。推理 63,第4号,813-855(2019).理学硕士:68甲18 03楼52 65年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人,J.Autom。推理63,No.4,813--855(2019;Zbl 1468.68057) 全文: 内政部 哈尔
伊利亚诺·塞维萨托(编辑);玛丽贝尔·费尔南德斯(编辑) 线性专题前言。 (英语) Zbl 1468.68012号 J.汽车。推理 63,第4号,809-811(2019).理学硕士:68-06 03楼52 68甲18 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}(编辑)和textit{M.Fernández}(主编),J.Autom。推理63,No.4,809--811(2019;Zbl 1468.68012) 全文: 内政部
亚瑟·夏盖罗;弗朗索瓦·波蒂埃 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 (英语) Zbl 1468.68120号 J.汽车。推理 62,第3号,331-365(2019).理学硕士:第68季度第60季度 03B70号 68甲18 68第05页 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Charguéraud}和\textit{F.Pottier},J.Autom。推理62,No.3,331--365(2019;Zbl 1468.68120) 全文: 内政部 哈尔
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq构造型理论中的正则语言表示。 (英语) Zbl 1451.68146号 J.汽车。推理 61,编号1-4,521-553(2018).理学硕士:65年第68季度 03B25号 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) 全文: 内政部 哈尔
曹勤祥;伦纳特·贝林格;塞缪尔·格鲁特;乔赛亚·多兹;安德鲁·W·阿佩尔。 VST-Floyd:用于验证C程序正确性的分离逻辑工具。 (英语) Zbl 1451.68169号 J.汽车。推理 61,编号1-4,367-422(2018).理学硕士:第68季度第60季度 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Cao}等人,J.Autom。推理61,No.1--4367--422(2018;Zbl 1451.68169) 全文: 内政部 链接
路易斯·阿吉雷;马蒂·奥利特,纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 (英语) Zbl 1398.68267号 J.汽车。推理 60,第4期,421-463(2018).理学硕士:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人,J.Autom。推理60,No.4,421--463(2018;Zbl 1398.68267) 全文: 内政部
劳拉·博泽利;塞萨尔·桑切斯 可见的线性时序逻辑。 (英语) Zbl 1425.68182号 J.汽车。推理 60,第2期,177-220(2018).理学硕士:65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez},J.Autom。推理60,No.2,177--220(2018;Zbl 1425.68182) 全文: 内政部
苏斯米特·贾;拉曼,瓦苏马蒂;多尔莎·萨迪;Sanjit A.Seshia。 使用机会约束时序逻辑实现感知不确定性下的安全自主。 (英语) Zbl 1425.93202号 J.汽车。推理 60,第1号,43-62(2018).理学硕士:93立方厘米85 03B44号 第68季度第60季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,J.Autom。推理60,No.1,43--62(2018;Zbl 1425.93202) 全文: 内政部 链接
安德烈·普拉泽 微分动态逻辑的一个完全一致替换演算。 (英语) Zbl 1437.03119号 J.汽车。推理 59,第2期,219-265(2017).理学硕士:03B70号 03B35型 68号30 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理59,No.2,219--265(2017;Zbl 1437.03119) 全文: 内政部 arXiv公司 OA许可证
贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;德米特里·特拉泰尔 通过共推方法证明正确性和完整性。 (英语) Zbl 1409.68251号 J.汽车。推理 58,第1期,149-179(2017).理学硕士:68吨15 03B10号机组 03B35型 03财年03 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,J.Autom。推理58,No.1,149--179(2017;Zbl 1409.68251) 全文: 内政部 哈尔
维杰·德·席尔瓦;城市,卡特里娜 抽象解释为自动演绎。 (英语) 兹比尔1410.68222 J.汽车。推理 58,第3期,363-390(2017).理学硕士:第68季度第60季度 03B35型 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.D'Silva}和\textit{C.Urban},J.Autom。推理58,第363-390号(2017;兹bl 1410.68222) 全文: 内政部 哈尔
罗伯特·克雷伯斯 分离逻辑的形式化C存储模型。 (英语) Zbl 1386.68028号 J.汽车。推理 57,第4号,319-387(2016).理学硕士:68甲15 03B70号 68N20型 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers},J.Autom。推理57,No.4,319--387(2016;Zbl 1386.68028) 全文: 内政部 arXiv公司 OA许可证
穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃 诱因推理的叠加演算。 (英语) Zbl 1433.03023号 J.汽车。推理 57,第2期,97-134(2016).理学硕士:03B35型 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Echenim}和\textit{N.Peltier},J.Autom。推理57,No.2,97--134(2016;Zbl 1433.03023) 全文: 内政部 arXiv公司
杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 Isabelle的Psi-calculi。 (英语) Zbl 1356.68175号 J.汽车。推理 56,第1号,1-47(2016).理学硕士:68吨15 03B35型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtson}等人,J.Autom。推理56,No.1,1-47(2016;Zbl 1356.68175) 全文: 内政部
Nishant Totla公司;托马斯·维斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).理学硕士:68吨15 03C40号 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
安德烈亚·阿斯佩蒂 扭转复杂性。 (英语) Zbl 1356.03052号 J.汽车。推理 55,第4期,373-388(2015).理学硕士:03B35型 2015年3月1日 2015年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti},J.Autom(美国汽车制造商协会)。推理55,No.4,373--388(2015;Zbl 1356.03052) 全文: 内政部
罗伊斯,伯恩哈德;纳撒尼尔·查尔顿;本·霍斯福尔 高阶存储程序的符号执行证明。 (英语) Zbl 1356.68145号 J.汽车。推理 54,第3期,199-284(2015).理学硕士:第68季度第60季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Reus}等人,J.Autom。推理54,第3199-284号(2015年;Zbl 1356.68145) 全文: 内政部 链接
Pąk,卡罗尔 基于密切引用原则提高形式证明的易读性是NP-hard。 (英语) Zbl 1356.68198号 J.汽车。推理 55,第3号,295-306(2015).理学硕士:68吨15 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.PąK},J.Autom(汽车杂志)。推理55,No.3,295--306(2015;Zbl 1356.68198) 全文: 内政部 OA许可证
本赛义德,希查姆;尼古拉斯·佩尔蒂埃 原始文法的完全叠加演算。 (英语) Zbl 1332.68201号 J.汽车。推理 53,第4期,317-350(2014).理学硕士:68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bensaid}和\textit{N.Peltier},J.Autom。推理53,No.4,317--350(2014;Zbl 1332.68201) 全文: 内政部
马修·格温;奥利弗·库尔曼 通过嵌套的输入分辨率概括单元扩展完整性和SLUR。 (英语) Zbl 1319.03036号 J.汽车。推理 52,第1期,31-65(2014).理学硕士:03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gwyne}和\textit{O.Kullmann},J.Autom。推理52,No.1,31--65(2014;Zbl 1319.03036) 全文: 内政部 arXiv公司
周敏(Zhou,Min);他,费;Wang,船头偏航;顾、明;孙家光 有界元素的数组理论及其应用。 (英语) Zbl 1314.03017号 J.汽车。推理 52,第4期,379-405(2014).理学硕士:03B25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Autom。推理52,No.4,379--405(2014;Zbl 1314.03017) 全文: 内政部
亚历山大·马尔基斯;安妮迪亚·班纳吉 关于软件障碍验证的自动化:经验报告。 (英语) Zbl 1314.68186号 J.汽车。推理 52,第3期,275-329(2014).理学硕士:第68季度第60季度 03B70号 68吨15 03B35型 68瓦40 68问题55 2010年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Malkis}和\textit{A.Banerjee},J.Autom。推理52,No.3,275--329(2014;Zbl 1314.68186) 全文: 内政部
卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊 具有全局自反不定性约束的树自动机的空性和有限性。 (英语) Zbl 1314.68175号 J.汽车。推理 51,第4号,371-400(2013).理学硕士:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Creus}等人,J.Autom。推理51,No.4,371--400(2013;Zbl 1314.68175) 全文: 内政部
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 一种对计算进行推理的两级逻辑方法。 (英语) Zbl 1290.68088号 J.汽车。推理 49,第2期,241-273(2012).理学硕士:第68季度第60季度 03B40型 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人,J.Autom。推理49,No.2,241--273(2012;Zbl 1290.68088) 全文: 内政部 arXiv公司
亚历山大·克劳斯;托比亚斯·尼普科 证明珍珠:正则表达式等价和关系代数。 (英语) Zbl 1269.68090号 J.汽车。推理 第49期,第1期,第95-106页(2012年).理学硕士:68吨15 03G15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krauss}和\textit{T.Nipkow},J.Autom。推理49,No.1,95--106(2012;Zbl 1269.68090) 全文: 内政部
陶,贾;乔拉·斯卢茨基;瓦桑特·霍纳瓦尔 PS(聚苯乙烯)步伐非循环模型化的tableau算法({mathcal{ALC}})。 (英语) Zbl 1291.68387号 J.汽车。推理 49,第4期,551-582(2012).理学硕士:68T27型 03B42号 03B35型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,J.Autom。推理49,No.4,551--582(2012;Zbl 1291.68387) 全文: 内政部
奥托普,简 \(E\)-与常数的统一与一般的\(E\)-统一。 (英语) Zbl 1260.03019号 J.汽车。推理 48,第3期,363-390(2012).理学硕士:03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Otop},J.Autom。推理48,No.3,363--390(2012;Zbl 1260.03019) 全文: 内政部
丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 (英语) 兹比尔1279.68226 J.汽车。推理 48,第1号,1-42(2012).理学硕士:第68季度第60季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini},J.Autom。推理48,No.1,1--42(2012;Zbl 1279.68226) 全文: 内政部
贾斯敏·克里斯蒂安·布兰切特;亚历山大·克劳斯 高阶公式的单调性推理。 (英语) Zbl 1266.03021号 J.汽车。推理 47,第4期,369-398(2011). 审核人:Viorica Sofrone-Stokkerman(科布伦茨) 理学硕士:03B35型 03B15号机组 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}和\textit{A.Krauss},J.Autom。推理47,No.4,369--398(2011;Zbl 1266.03021) 全文: 内政部
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词Presburger算法的插值序列演算。 (英语) 兹比尔1259.03043 J.汽车。推理 47,第4期,341-367(2011).理学硕士:03B70号 03C40号 07年3月 30楼03号 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人,J.Autom。推理47,No.4,341--367(2011;Zbl 1259.03043) 全文: 内政部 链接
玛丽亚·保拉(Maria Paola Bonacina);克里斯托弗·林奇(Christopher A.Lynch)。;莱昂纳多·德·莫拉 关于通过带有推测推理的定理证明来确定可满足性。 (英语) 兹比尔1243.68265 J.汽车。推理 47,第2期,161-189(2011).理学硕士:68吨15 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理47,No.2,161--189(2011;Zbl 1243.68265) 全文: 内政部
迈克尔·J·C·戈登。;马特·考夫曼;桑迪普·雷 这项工作的正确工具:使用ACL2和HOL4证明影响减少锥的正确性。 (英语) Zbl 1216.68233号 J.汽车。推理 47,第1期,第1-16页(2011年).理学硕士:68吨15 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.C.Gordon}等人,J.Autom。推理47,No.1,1--16(2011;Zbl 1216.68233) 全文: 内政部
艾亚德·阿尔卡萨;Hillebrand,Mark A。;德克·莱恩巴赫(Dirk C.Leinenbach)。;Norbert W.席尔默。;阿特姆·斯塔罗斯汀;亚历山德拉·茨班 平衡负载。利用语义堆栈进行系统验证。 (英语) Zbl 1191.68407号 J.汽车。推理 42,编号2-4,389-454(2009).理学硕士:第68季度第60季度 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Alkassar}等人,J.Autom。推理42,No.2--4,389--454(2009;Zbl 1191.68407) 全文: 内政部
哈维·图什 C系统代码的正式验证。结构化类型、分离逻辑和定理证明。 (英语) Zbl 1191.68417号 J.汽车。推理 42,编号2-4,125-187(2009).理学硕士:第68季度第60季度 68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Tuch},J.Autom。推理42,No.2--4,125-187(2009;Zbl 1191.68417) 全文: 内政部
冯新余;邵,钟;郭瑜;董,袁 用硬件中断和抢占线程验证低级程序。 (英语) Zbl 1191.68176号 J.汽车。推理 42,编号2-4,301-347(2009).理学硕士:第68页第25页 68号30 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Feng}等人,J.Autom。推理42,No.2--4,301-347(2009;Zbl 1191.68176) 全文: 内政部
安德烈·普拉泽 混合系统的微分动态逻辑。 (英语) Zbl 1181.03035号 J.汽车。推理 41,第2期,143-189(2008); 更正同上,第66号,第173(2022)。理学硕士:03B70号 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理41,No.2,143--189(2008;Zbl 1181.03035) 全文: 内政部 OA许可证
汉斯·克莱恩·勃宁;苏布拉马尼,K。;赵西顺 布尔函数作为量化布尔公式的模型。 (英语) Zbl 1126.03015号 J.汽车。推理 39,第1号,49-75(2007).理学硕士:03B05号 06E30年 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}等人,J.Autom。推理39,No.1,49--75(2007;Zbl 1126.03015) 全文: 内政部
马克·艾吉尔;戴安·巴赫拉米 用于抽象重写的结构。 (英语) Zbl 1125.03011号 J.汽车。推理 38,第4号,303-351(2007).理学硕士:03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{D.Bahrami},J.Autom。推理38,No.4,303--351(2007;Zbl 1125.03011) 全文: 内政部 哈尔
大卫·布雷索林;Angelo蒙塔纳里;圭多·西亚维科 右命题邻域逻辑的最优决策过程。 (英语) Zbl 1121.03027号 J.汽车。推理 38,编号1-3,173-199(2007).理学硕士:03B44号 03B25号 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Autom。推理38,No.1--3,173--199(2007;Zbl 1121.03027) 全文: 内政部
奥利维尔·贝利;皮埃尔·侯爵 距离SAT的一些计算方面。 (英语) Zbl 1113.68096号 J.汽车。推理 37,第4期,231-260(2006).理学硕士:68T20型 65年第68季度 68吨15 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Bailleux}和\textit{P.Marquis},J.Autom。推理37,No.4,231--260(2006;Zbl 1113.68096) 全文: 内政部
维克多·昆卡;阮秀海;马丁·里纳德 用Presburger算法判定布尔代数。 (英语) Zbl 1112.03011号 J.汽车。推理 36,第3期,213-239(2006).理学硕士:03B35型 03B25号 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kuncak}等人,J.Autom。推理36,No.3,213--239(2006;Zbl 1112.03011) 全文: 内政部 链接
罗希特·查达;史蒂夫·克莱默;安德烈·斯克洛夫 多方合同签订的形式分析。 (英语) Zbl 1134.94372号 J.汽车。推理 36,编号1-2,39-83(2006).理学硕士:94A62型 68个M12 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,J.Autom。推理36,No.1--2,39-83(2006;Zbl 1134.94372) 全文: 内政部
汉斯·胡特尔;吉·斯尔巴 扩展乒乓协议的可决定性问题。 (英语) Zbl 1107.68042号 J.汽车。推理 36,编号1-2,125-147(2006).理学硕士:68第25页 03B25号 第68季度第60季度 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel}和\textit{J.Srba},J.Autom。推理36,No.1--2,125-147(2006;Zbl 1107.68042) 全文: 内政部
伊芙琳·孔特让;克劳德·马奇;Tomás、Ana Paula;泽维尔·乌尔班 使用多项式解释机械证明终止。 (英语) Zbl 1108.03017号 J.汽车。推理 34,第4期,325-363(2005).理学硕士:03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Contejean}等人,J.Autom。推理34,No.4,325--363(2005;Zbl 1108.03017) 全文: 内政部
Tour男孩,蒂埃里;穆纳乔·埃切宁 关于演绎模叶置换方程的复杂性。 (英语) Zbl 1086.03008号 J.汽车。推理 33,编号3-4,271-317(2004).理学硕士:03B35型 2015年3月1日 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{M.Echenim},J.Autom。推理33,第3–4、271–317号(2004年;Zbl 1086.03008) 全文: 内政部
阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模ACUI加分配公理。 (英语) Zbl 1063.03006号 J.汽车。推理 33,第1期,1-28页(2004年).理学硕士:03B35型 68吨15 2012年第68季度 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理33,No.1,1--28(2004;Zbl 1063.03006) 全文: 内政部
利奥·巴赫迈尔;阿什什·蒂瓦里;劳伦·维格纳龙 抽象同余闭包。 (英语) Zbl 1040.03006号 J.汽车。推理 31,第2期,129-168(2003).理学硕士:03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}等人,J.Autom。推理31,No.2,129--168(2003;Zbl 1040.03006) 全文: 内政部
米克尔波菲尔;吉勒姆·戈多伊;罗伯特·纽文胡斯;阿尔伯特·鲁比奥 具有非全序和非单调序的Paramodulation和Knuth-Bendix完备。 (英语) Zbl 1027.03010号 J.汽车。推理 30,第1期,99-120(2003).理学硕士:03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,J.Autom。推理30,No.1,99-120(2003;Zbl 1027.03010) 全文: 内政部
阮广辉;克劳德·基什内尔;赫莱内·基什内尔 为怀疑证明助手进行外部重写。 (英语) 兹比尔1064.68048 J.汽车。推理 29,第3-4号,309-336(2002).理学硕士:2012年第68季度 68吨15 03B40型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Nguyen}等人,J.Autom。推理29,编号3-4309-336(2002年;Zbl 1064.68048) 全文: 内政部
吉多·菲奥里诺 命题Dummett逻辑的(O(n\log n))-SPACE决策过程。 (英语) Zbl 0987.03011号 J.汽车。推理 27,第3号,297-311(2001).理学硕士:03B35型 03B25号 03B55号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.菲奥里诺},J.Autom。推理27,No.3,297--311(2001;Zbl 0987.03011) 全文: 内政部
博纳蒂,P.A。 怀疑稳定模型语义的解决方案。 (英语) Zbl 0991.03016号 J.汽车。推理 27,第4号,391-421(2001).理学硕士:03B35型 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti},J.Autom。推理27,No.4,391--421(2001;Zbl 0991.03016) 全文: 内政部
尤尔根阿文豪斯;David A.Plaisted。 等式推理中置换的通用算法。 (英语) Zbl 0985.68026号 J.汽车。推理 26,第3期,223-268(2001). 审核人:N.Zamov(喀山) 理学硕士:2012年第68季度 03B35型 20B40码 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Avenhaus}和\textit{D.A.Plaisted},J.Autom。推理26,No.3,223--268(2001;Zbl 0985.68026) 全文: 内政部
爱德华·赫施。 SAT新的最坏情况上限。 (英语) Zbl 0960.03009号 J.汽车。推理 24,第4期,397-420(2000).理学硕士:03B35型 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch},J.Autom公司。推理24,第4期,397-420(2000年;Zbl 0960.003009) 全文: 内政部
艾蒂安·德克勒克;汉斯·范马伦;华纳,Joost P。 利用半定规划放松可满足性问题。 (英语) Zbl 0965.03017号 J.汽车。推理 24,编号1-2,37-65(2000).理学硕士:03B35型 90C22型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.de Klerk}等人,J.Autom。推理24,No.1--2,37-65(2000;Zbl 0965.03017) 全文: 内政部
罗伊斯,伯恩哈德 将合成域理论形式化。基本定义。 (英语) Zbl 0943.68111号 J.汽车。推理 23,第3-4号,411-444(1999).理学硕士:68问题55 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Reuse},J.Autom。推理23,编号3-4411-444(1999;Zbl 0943.68111) 全文: 内政部
米基·赫尔曼;Phokion G.科莱蒂斯。 同时初等匹配问题的计算复杂性。 (英语) Zbl 0936.03014号 J.汽车。推理 23,第2107-136号(1999年).理学硕士:03B35型 2017年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermann}和\textit{P.G.Kolaitis},J.Autom。推理23,No.2,107--136(1999;Zbl 0936.03014) 全文: 内政部
马克·米歇尔·科西尼;安托万·劳西 图皮:有限域上的(mu)-演算作为约束语言。 (英语) Zbl 0941.03532号 J.汽车。推理 19,第2期,143-171(1997).理学硕士:03B70号 68N17号 第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.-M.Corsini}和\textit{A.Rauzy},J.Autom。推理19,No.2,143--171(1997;Zbl 0941.03532) 全文: 内政部
迈克尔·赫德伯格 构造域理论的类型理论解释。 (英语) Zbl 0861.03009号 J.汽车。推理 16,第3期,369-425(1996). 审核人:C.Masalagiu(伊阿什) 理学硕士:03B40型 68问题55 35楼03号 03G30型 03-04 68吨15 2012年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{M.Hedberg},J.Autom。推理16,No.3,369--425(1996;Zbl 0861.03009) 全文: 内政部
马修·格林斯伯格。 情态和中断。 (英语) Zbl 0829.68026号 J.汽车。推理 14,第1期,43-91(1995). 审核人:A.纳比宾(莫斯科) 理学硕士:68N17号 68问题55 03B45号 03B60号 68T99型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Glinsberg},J.Autom。推理14,No.1,43--91(1995;Zbl 0829.68026) 全文: 内政部
伊尔卡·尼梅尔 一种基于自认知推理的非单调推理决策方法。 (英语) Zbl 0826.03007号 J.汽车。推理 14,第1期,第3-42页(1995年). 审核人:H.J.Ohlbach(萨尔布吕肯) 理学硕士:03B35型 03B60号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Niemelä},J.Autom。推理14,No.1,3--42(1995;Zbl 0826.03007) 全文: 内政部
阿黛尔·布胡拉;米歇尔·鲁西诺维奇 条件理论中的隐含归纳法。 (英语) Zbl 0819.68114号 J.汽车。推理 14,第2期,189-235(1995).理学硕士: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) 全文: 内政部
朱塞帕·卡拉·费罗 证明微分几何中的陈述的过程的扩展。 (英语) Zbl 0808.03005号 J.汽车。推理 12,第3期,351-358(1994).理学硕士:03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.CarràFerro},J.奥托姆。推理12,No.3,351--358(1994;Zbl 0808.03005) 全文: 内政部
袁丽燕;你,嘉慧 自认知范围和逻辑编程。 (英语) 兹比尔0782.68076 J.汽车。推理 10,第2期,143-160(1993).理学硕士:68问题55 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Yuan}和\textit{J.-H.You},J.Autom。推理10,No.2,143--160(1993;Zbl 0782.68076) 全文: 内政部
Chitta R.巴拉尔。;苏布拉曼尼亚,V.S。 逻辑程序和缺省逻辑的稳定和可拓类理论。 (英语) Zbl 0763.03017号 J.汽车。推理 8,第3期,345-366(1992).理学硕士:03B60号 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Baral}和\textit{V.S.Subrahmanian},J.Autom。推理8,No.3,345--366(1992;Zbl 0763.03017) 全文: 内政部
马克·弗兰岑 希尔伯特的第十个问题是统一型零。 (英语) Zbl 0781.68075号 J.汽车。推理 9,第2期,169-178(1992).理学硕士:2012年第68季度 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Franzen},J.Autom。推理9,No.2,169--178(1992;Zbl 0781.68075) 全文: 内政部
坎通纳,D。;施瓦茨,J.T。 集合论基本子语言的决策程序:XI。由一些基本映射结构扩展的多级三段论。 (英语) Zbl 0734.03004号 J.汽车。推理 7,第2期,231-256(1991年).理学硕士:03B25号 03E99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{J.T.Schwartz},J.Autom。推理7,No.2,231--256(1991;Zbl 0734.03004)
坎通纳,D。;Omodeo,E.G.公司。;Policriti,A。 三段论的自动化。二: 优化和复杂性问题。 (英语) Zbl 0744.03015号 J.汽车。推理 6,第2期,173-187(1990).理学硕士:03B35型 03B25号 03B30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Autom。推理6,No.2,173--187(1990;Zbl 0744.03015) 全文: 内政部
皮埃尔·莱斯坎 关于具有词典编纂状态的递归分解排序和其他相关排序。 (英语) Zbl 0698.68031号 J.汽车。推理 6,第1号,39-49(1990).理学硕士:68问题65 03年3月 06A99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lescanne},J.奥托姆。推理6,No.1,39--49(1990;Zbl 0698.68031) 全文: 内政部
Przymusinski,Teodor C。 逻辑程序的声明语义和过程语义。 (英语) 兹伯利0681.68109 J.汽车。推理 5,第2期,167-205(1989). 审核人:S.G.沃罗比奥夫 理学硕士:68吨15 03B35型 第68季度第60季度 03元52分 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Przymusinski},J.Autom公司。推理5,No.2,167--205(1989;Zbl 0681.68109) 全文: 内政部
罗伯特·博伊尔。;J.Strother摩尔 将有界量化和部分函数添加到计算逻辑及其定理证明器中。 (英语) Zbl 0653.03007号 J.汽车。推理 4,第2期,117-172(1988). 审核人:J.兹拉图斯卡 理学硕士:03B35型 03B15号机组 68问题65 68吨15 03-04 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Boyer}和\textit{J.S.Moore},J.Autom。推理4,No.2,117--172(1988;Zbl 0653.03007) 全文: 内政部
亚历山大·博克迈尔 关于具有不可判定统一和匹配问题的规范理论的注记。 (英语) Zbl 0637.68034号 J.汽车。推理 3, 379-381 (1987). 审核人:A.博克迈耶 理学硕士:68问题65 68吨15 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.Bockmayr},J.Autom。推理3379--381(1987;Zbl 0637.68034) 全文: 内政部