伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 (英语) Zbl 07776353号 理论与实践。日志。程序。 22,第6期,974-1042(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第6号,974--1042(2022;Zbl 07776353) 全文: 内政部 arXiv公司 OA许可证
德拉本特,Włodzimierz 关于皇后程序的正确性和完整性。 (英语) Zbl 07776333号 理论与实践。日志。程序。 22,编号1,37-50(2022).MSC公司:68N17号 05B15号 第68季度第60季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。22,编号1,37--50(2022;Zbl 07776333) 全文: 内政部 arXiv公司 OA许可证
伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 使用约束Horn子句验证基于变形的契约。 (英语) Zbl 07595325号 理论与实践。日志。程序。 22,第4期,555-572(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第4号,555--572(2022;Zbl 07595325) 全文: 内政部 arXiv公司
米盖尔·桑切斯·奥达兹(Miguel A.Sanchez-Ordaz)。;伊莎贝尔·加西亚·孔特雷拉斯;维克托·佩雷斯;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。 VeriFly公司:通过增量进行实时断言检查。 (英语) Zbl 07776326号 理论与实践。日志。程序。 21,第6期,768-784(2021).MSC公司:68N17号 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Sanchez-Ordaz}等人,《理论与实践》。日志。程序。21,第6号,768--784(2021;Zbl 07776326) 全文: 内政部 arXiv公司
比肖克桑·卡夫;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;彼得·沙赫特;Søndergaard,哈拉尔 支持转换的前提推理。 (英语) Zbl 07776322号 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 07776322) 全文: 内政部 arXiv公司
伊莎贝尔·加西亚·孔特雷拉斯;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 增量和模块化上下文敏感分析。 (英语) Zbl 1472.68035号 理论与实践。日志。程序。 21,第2期,196-243(2021).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Garcia-Contreras}等人,《理论与实践》。日志。程序。21,第2196-243号(2021年;兹bl 1472.68035) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;马丁·马丁,恩里克 利用类型规范推理进行资源分析的转换方法。 (英语) Zbl 1472.68033号 理论与实践。日志。程序。 20,第3号,310-357(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。20,第3号,310-357(2020;Zbl 1472.68033) 全文: 内政部
托马斯·艾特;拉斐尔·基塞尔 \(\mathrm{ASP}(\mathcal{AC})\):带代数约束的答案集编程。 (英语) Zbl 1471.68047号 理论与实践。日志。程序。 20,第6号,895-910(2020).MSC公司:68N17号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel},理论与实践。日志。程序。20,第6号,895--910(2020;Zbl 1471.68047) 全文: 内政部 arXiv公司
佩德罗·卡巴拉尔;豪尔赫·范丁诺;尤利亚·利勒 模块化答案集编程是一种形式规范语言。 (英语) Zbl 1468.68119号 理论与实践。日志。程序。 20,第5期,767-782(2020年).MSC公司:第68季度第60季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第5号,767--782(2020;Zbl 1468.68119) 全文: 内政部 arXiv公司
豪尔赫·范丁诺;弗拉基米尔·利夫希茨;帕特里克·吕内;托尔斯滕·绍布 使用验证紧密逻辑程序国歌和吸血鬼. (英语) Zbl 1468.68127号 理论与实践。日志。程序。 20,第5期,735-750(2020年).MSC公司:第68季度第60季度 03C07号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,《理论与实践》。日志。程序。20,编号5,735--750(2020;Zbl 1468.68127) 全文: 内政部 arXiv公司
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 CLP中的酒精测试。 (英语) Zbl 1468.68055号 理论与实践。日志。程序。 20,第5号,671-686(2020).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人,《理论与实践》。日志。程序。20,第5号,671--686(2020;Zbl 1468.68055) 全文: 内政部 arXiv公司
弗朗索瓦·布里 赞扬不可靠:对元编程形式化的贡献。 (英语) Zbl 1434.68102号 理论与实践。日志。程序。 20,第1期,99-146(2020年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bry},理论与实践。日志。程序。20,第1号,99--146(2020;Zbl 1434.68102) 全文: 内政部 arXiv公司
奥斯卡·马汀;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 重写逻辑中的组合规范。 (英语) Zbl 1434.68301号 理论与实践。日志。程序。 20,第1期,44-98(2020年).MSC公司:第68季度第60季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人,《理论与实践》。日志。程序。20,第1号,44--98(2020;Zbl 1434.68301) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 勘误表:“在没有归纳的情况下解决归纳数据类型上的Horn子句”。 (英语) Zbl 1472.68086号 理论与实践。日志。程序。 19,第4号,629(2019).MSC公司:第68季度第60季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。19,第4号,629(2019;Zbl 1472.68086) 全文: 内政部
A.里斯科。;罗德里格斯-霍塔拉,J。 Spark Streaming的基于属性的测试。 (英语) Zbl 1472.68041号 理论与实践。日志。程序。 19,第4号,574-602(2019).MSC公司:68号30 03B44号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}和\textit{J.Rodríguez-Hortalá},理论与实践。日志。程序。19,第4号,574--602(2019;Zbl 1472.68041) 全文: 内政部 arXiv公司
杜梅内克,杰苏斯·J·。;约翰·加拉赫(John P.Gallagher)。;萨米尔·根奈姆 通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 (英语) Zbl 1434.68104号 理论与实践。日志。程序。 19,第5-6号,990-1005(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Doménech}等人,《理论与实践》。日志。程序。19,编号5--6,990--1005(2019;Zbl 1434.68104) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;米克尔波菲尔;克里斯蒂娜·博拉莱拉斯;马丁·马丁,恩里克;阿尔伯特·鲁比奥 由(有条件的)终止证明驱动的资源分析。 (英语) Zbl 1434.68101号 理论与实践。日志。程序。 19,编号5-6,722-739(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。19,编号5--6722--739(2019;Zbl 1434.68101) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 使用约束Horn子句进行前提推理的迭代方法。 (英语) Zbl 1451.68075号 理论与实践。日志。程序。 18,编号3-4553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: 内政部 arXiv公司
格雷戈里·杜克。;德克萨斯州贾法;罗兰·H·C·雅普。 基于图形的数据结构的形状中性分析。 (英语) Zbl 1451.68174号 理论与实践。日志。程序。 18,编号3-4,470-483(2018).MSC公司:第68季度第60季度 68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Duck}等人,理论与实践。日志。程序。18、编号3--4、470--483(2018;Zbl 1451.68174) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 (英语) 兹比尔1451.68172 理论与实践。日志。程序。 18,编号3-4,452-469(2018); 勘误表同上,第19号,第4,629(2019)。MSC公司:第68季度第60季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18、编号3--4、452--469(2018;Zbl 1451.68172) 全文: 内政部 arXiv公司
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 访问权限的并发约束编程解释。 (英语) Zbl 1478.68056号 理论与实践。日志。程序。 18,第2期,252-295(2018).MSC公司:68号30 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《理论与实践》。日志。程序。18,第2号,252--295(2018;Zbl 1478.68056) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 约束Horn子句验证中的树维度。 (英语) Zbl 1478.68165号 理论与实践。日志。程序。 18,第2号,224-251(2018).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18,第2号,224--251(2018;Zbl 1478.68165) 全文: 内政部 arXiv公司
洛佩兹·加西亚,P。;达尔马万,L。;M.克莱门。;美国利卡特。;布埃诺,F。;M.V.Hermenegildo。 通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。 (英语) Zbl 1478.68170号 理论与实践。日志。程序。 18,第2期,167-223(2018).MSC公司:第68季度第60季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。18,第2号,167--223(2018;Zbl 1478.68170) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的谓词配对。 (英语) Zbl 1478.68153号 理论与实践。日志。程序。 18,编号2,126-166(2018).MSC公司:第68季度第60季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18,编号2,126--166(2018;Zbl 1478.68153) 全文: 内政部 arXiv公司
德国维达尔(编辑) 介绍用于验证的计算逻辑专题。 (英语) Zbl 1475.00076号 理论与实践。日志。程序。 18,第2期,122-125(2018).MSC公司:00B15号机组 68-06 03B70号 68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Vidal}(编辑),理论与实践。日志。程序。18,编号2,122-125(2018;Zbl 1475.00076) 全文: 内政部
德拉本特,Włodzimierz 逻辑+控制:关于程序构建和验证。 (英语) Zbl 1425.68051号 理论与实践。日志。程序。 18,第1号,1-29(2018).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。18,编号1,1--29(2018;Zbl 1425.68051) 全文: 内政部 arXiv公司
詹姆斯·切尼;阿尔贝托·莫米利亚诺 \(alpha\mathrm{Check}):机械化元理论模型检查器。 (英语) Zbl 1379.68236号 理论与实践。日志。程序。 17,第3号,311-352(2017).MSC公司:第68季度第60季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼}和\textit{A.莫米利亚诺},理论与实践。日志。程序。17,No.3,311--352(2017;Zbl 1379.68236) 全文: 内政部 arXiv公司
洛佩兹·加西亚,P。;M.克莱门。;美国利卡特。;M.V.Hermenegildo。 用于静态分析参数资源使用情况的通用框架。 (英语) 兹比尔1379.68097 理论与实践。日志。程序。 16,编号5-6,849-865(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。16、编号5--6849--865(2016;Zbl 1379.68097) 全文: 内政部 arXiv公司
罗伯特·科瓦尔斯基;法里巴·萨德里 没有逻辑编程的逻辑编程。 (英语) Zbl 1379.68095号 理论与实践。日志。程序。 2016年第3期第16期第269-295页.MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri},理论与实践。日志。程序。16,第3号,269--295(2016;Zbl 1379.68095) 全文: 内政部 arXiv公司
英格玛达塞维尔;范德哈伦,马提亚斯;杰尔达·詹森斯;马克·德内克 用于构建逻辑的组合框架中模板的语义。 (英语) Zbl 1379.68092号 理论与实践。日志。程序。 15,编号4-5681-695(2015).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Dasseville}等人,《理论与实践》。日志。程序。15,编号4--5,681--695(2015;Zbl 1379.68092) 全文: 内政部 arXiv公司
克里斯蒂亚,马克西米利亚诺;Gianfranco罗西;克劳迪娅·弗莱德曼 使用集合将部分函数添加到约束逻辑编程中。 (英语) Zbl 1379.68053号 理论与实践。日志。程序。 15,No.4-5,651-665(2015).MSC公司:68N17号 第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}等人,《理论与实践》。日志。程序。15,编号4--5,651--665(2015;Zbl 1379.68053) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过线性化约束Horn子句来证明命令式程序的正确性。 (英语) Zbl 1379.68093号 理论与实践。日志。程序。 15,编号4-5635-650(2015).MSC公司:68号30 68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。15,编号4--5,635--650(2015;Zbl 1379.68093) 全文: 内政部 arXiv公司
马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 使用线性时序逻辑对tccp进行抽象诊断。 (英语) Zbl 1307.68049号 理论与实践。日志。程序。 14,No.4-5,787-801(2014).MSC公司:第68季度第60季度 03B44号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人,《理论与实践》。日志。程序。14、编号4--5、787--801(2014;Zbl 1307.68049) 全文: 内政部 arXiv公司
博加茨,巴特;约阿希姆·扬森;莫里斯·布吕诺格;De Cat,Broes公司;Joost Vennekens;马克·德内克 使用线性时间演算理论模拟动态系统。 (英语) Zbl 1307.68013号 理论与实践。日志。程序。 14,No.4-5,477-492(2014).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,《理论与实践》。日志。程序。14、编号4--5、477--492(2014;Zbl 1307.68013) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;玛丽亚·加西亚·德·拉班达;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯;彼得·斯塔基 用于生成测试用例的CLP堆解算器。 (英语) Zbl 1286.68065号 理论与实践。日志。程序。 13,No.4-5,721-735(2013).MSC公司:68号30 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。13、编号4--5、721--735(2013;Zbl 1286.68065) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;斯皮奥塔,马特奥;丹尼尔·塞塞德尔·杜普雷 使用约束时态答案集编程进行业务流程验证。 (英语) Zbl 1298.68174号 理论与实践。日志。程序。 13,编号4-5641-655(2013). 审核人:Jana Köhler(卢塞恩) MSC公司:第68季度第60季度 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13、编号4--5、641--655(2013;Zbl 1298.68174) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限状态系统验证的推广策略。 (英语) Zbl 1267.68080号 理论与实践。日志。程序。 13,第2期,175-199(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,《理论与实践》。日志。程序。13,第2号,175--199(2013;Zbl 1267.68080) 全文: 内政部 arXiv公司
安德烈·戈林;罗马克里希南,C.R。;斯科特·斯莫尔卡。 使用概率表逻辑编程进行模型检查。 (英语) Zbl 1260.68062号 理论与实践。日志。程序。 12,编号4-5681-700(2012).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gorlin}等人,《理论与实践》。日志。程序。12、编号4--5、681--700(2012;Zbl 1260.68062) 全文: 内政部 arXiv公司
维达尔,德语 通过部分求值对独立AND并行逻辑程序进行注释。 (英语) Zbl 1260.68068号 理论与实践。日志。程序。 12,编号4-5583-600(2012).MSC公司:68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Vidal},理论与实践。日志。程序。12、编号4--5、583--600(2012;Zbl 1260.68068) 全文: 内政部 arXiv公司
德拉本特,Włodzimierz 魔术变换的简单正确性证明。 (英语) Zbl 1255.68050号 理论与实践。日志。程序。 12,第6号,929-936(2012).MSC公司:68N17号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。12,第6号,929--936(2012;Zbl 1255.68050) 全文: 内政部 arXiv公司
M.V.Hermenegildo。;布埃诺,F。;M.卡罗。;López-García,P。;E.梅拉。;J.F.莫拉莱斯。;G.普埃布拉。 Ciao及其设计理念概述。 (英语) Zbl 1244.68019号 理论与实践。日志。程序。 12,编号1-2,219-252(2012).MSC公司:68N17号 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人,《理论与实践》。日志。程序。12、编号1--2、219--252(2012;Zbl 1244.68019) 全文: 内政部
迈克尔·科迪什;伊戈尔·戈诺波尔斯基;阿米尔·本·阿姆拉姆。;卡斯滕·福斯;吉尔根·吉斯尔 基于SAT的终止分析,使用整数的单调性约束。 (英语) Zbl 1222.68071号 理论与实践。日志。程序。 11,编号4-5,503-520(2011).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,《理论与实践》。日志。程序。11、编号4--5、503--520(2011;Zbl 1222.68071) 全文: 内政部 arXiv公司
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限列表上逻辑程序的转换。 (英语) Zbl 1209.68096号 理论与实践。日志。程序。 10,编号4-6,383-399(2010).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,《理论与实践》。日志。程序。10,编号4-6-383-399(2010年;Zbl 1209.68096) 全文: 内政部 arXiv公司
乔治·德尔扎诺 多线程程序抽象模型的基于约束的自动验证。 (英语) Zbl 1112.68089号 理论与实践。日志。程序。 7,编号1-2,67-91(2007).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},理论与实践。日志。程序。7,编号1--2,67-91(2007;Zbl 1112.68089) 全文: 内政部
Alpunte,M。;埃斯科瓦尔,S。;卢卡斯,S。 自动删除多余参数。 (英语) Zbl 1112.68068号 理论与实践。日志。程序。 7,编号1-2,3-35(2007).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。7,编号1--2,3--35(2007;Zbl 1112.68068) 全文: 内政部
金,哈桑;蒂埃里·图莱蒂;阿马尔·布瓦利 EPspectroms:开发DSP软件应用程序的正式工具包。 (英语) Zbl 1100.68533号 理论与实践。日志。程序。 6,第4期,451-481(2006).MSC公司:68N17号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Kim}等人,《理论与实践》。日志。程序。6,第4号,451--481(2006;Zbl 1100.68533) 全文: 内政部
李·奈什 逻辑程序员的三值语义。 (英语) Zbl 1122.68028号 理论与实践。日志。程序。 6,第5期,509-538(2006).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Naish},理论与实践。日志。程序。6,第5号,509--538(2006;Zbl 1122.68028) 全文: 内政部
艾哈迈德·博阿贾尼;阿加提·默塞隆 组成员算法的参数验证。 (英语) Zbl 1110.68072号 理论与实践。日志。程序。 6,第3号,321-353(2006).MSC公司:第68季度第60季度 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}和\textit{A.Merceron},理论实践。日志。程序。6,第3号,321--353(2006;Zbl 1110.68072) 全文: 内政部
莫雷诺,法拉斯基;艾丽西亚·维拉纽埃娃 定时并发约束程序的自动验证。 (英语) Zbl 1101.68679号 理论与实践。日志。程序。 6,第3号,265-300(2006).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}和\textit{A.Villanueva},理论与实践。日志。程序。6,编号3,265-300(2006年;兹bl 1101.68679) 全文: 内政部
拉齐奇,R.S。;纽科姆,T.C。;A.W.罗斯科。 在模型上检查具有数组但不重置的数据相关系统。 (英语) Zbl 1088.68108号 理论与实践。日志。程序。 4,编号5-6,659-693(2004).MSC公司:第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Lazić}等人,《理论与实践》。日志。程序。4,编号5--6659-693(2004年;兹bl 1088.68108) 全文: 内政部 arXiv公司
马西莫·弗朗西切特;Angelo蒙塔纳里 时间粒度的时序逻辑和自动机。 (英语) Zbl 1088.68105号 理论与实践。日志。程序。 4,编号5-6,621-658(2004).MSC公司:第68季度第60季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{A.Montanari},理论与实践。日志。程序。4,编号5--6621--658(2004;Zbl 1088.68105) 全文: 内政部
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli 模型检查线性逻辑规范。 (英语) Zbl 1088.68102号 理论与实践。日志。程序。 4,编号5-6,573-619(2004).MSC公司:第68季度第60季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《理论与实践》。日志。程序。4、编号5--6573--619(2004;Zbl 1088.68102) 全文: 内政部
维维亚娜·马斯卡迪;Maurizio Martelli;利昂·斯特林 智能软件代理的基于逻辑的规范语言。 (英语) Zbl 1085.68131号 理论与实践。日志。程序。 4,第4期,429-494(2004).MSC公司:68T05型 68T01型 68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mascardi}等人,《理论与实践》。日志。程序。4,第4号,429--494(2004;Zbl 1085.68131) 全文: 内政部
凯乔·赫尔扬科;伊尔卡·尼梅尔 用稳定模型检验有界LTL模型。 (英语) Zbl 1079.68058号 理论与实践。日志。程序。 3,编号4-5,519-550(2003).MSC公司:第68季度第60季度 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}和\textit{I.Niemelä},理论与实践。日志。程序。3,编号4-519-550(2003年;兹bl 1079.68058) 全文: 内政部
安娜丽莎·博西;尼科莱塔·科科;萨宾娜·罗西;桑德罗·埃塔利 关于一般逻辑程序的模块终止证明。 (英语) Zbl 1087.68526号 理论与实践。日志。程序。 2,第3期,263-291(2002).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人,《理论与实践》。日志。程序。2,第3号,263--291(2002;Zbl 1087.68526) 全文: 内政部 链接
萨米尔·根奈姆;迈克尔·科迪什;雅各布·M·豪。 使用确定的布尔函数进行最坏情况下的基础性分析。 (英语) Zbl 1103.68460号 理论与实践。日志。程序。 第5611-615号(2001年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Genaim}等人,《理论与实践》。日志。程序。1,第5号,611--615(2001;Zbl 1103.68460) 全文: 内政部 arXiv公司
斯马乌斯,Jan-Georg;帕特里夏·M·希尔。;安迪·金 用块声明验证逻辑程序的终止和无错误性。 (英语) Zbl 1066.68516号 理论与实践。日志。程序。 1,第4447-486号(2001年).MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Smaus}等人,《理论与实践》。日志。程序。1,第4号,447--486(2001;Zbl 1066.68516) 全文: 内政部