卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;雷诺兹,马克 TPTL和\(\mathrm{TPTL_b+Past}\)的单程和树形表格系统。 (英语) Zbl 07354965号 Inf.计算。 278,文章ID 104599,25 p.(2021).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,《信息计算》。278,文章ID 104599,25 p.(2021;Zbl 07354965) 全文: 内政部
John McCabe-Dansted先生;克莱尔·狄克逊;法语,蒂姆;马克·雷诺兹 鲁棒性分支时间逻辑的子逻辑。 (英语) Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人,《信息计算》。266126-160(2019年;Zbl 1436.03125) 全文: 内政部
John McCabe-Dansted先生;马克·雷诺兹 为了公平起见,使用捆绑包。 (英语) Zbl 1420.03034号 安。数学。Artif公司。智力。 80,编号3-4,317-364(2017).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}和\textit{M.Reynolds},安.数学。Artif公司。智力。80,编号3--4,317--364(2017;Zbl 1420.03034) 全文: 内政部
John C.McCabe-Dansted。;雷诺兹,马克 重写\(\mathrm{CTL}^\ast\)的规则。 (英语) Zbl 1436.03124号 J.应用。日志。 21, 24-56 (2017).MSC公司:03B44号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds},J.Appl。日志。21、24-56(2017年;Zbl 1436.03124) 全文: 内政部
约翰·丹斯特德。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 健壮逻辑的表达性和简洁性。 (英语) Zbl 1400.68137号 J.应用。非类别。日志。 25,第3期,193-228(2015).MSC公司:68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}等人,J.Appl。非类别。日志。25,第3号,193--228(2015;Zbl 1400.68137) 全文: 内政部
John McCabe-Dansted先生;马克·雷诺兹 捆绑策略的画面。 (英语) Zbl 1471.03039号 De Nivelle,Hans(编辑),用分析表和相关方法进行自动推理。第24届国际会议,TABLEAUX 2015,波兰Wrocław,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9323, 22-37 (2015).MSC公司:03B44号 03B35型 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}和\textit{M.Reynolds},莱克特。注释计算。科学。9323,22-37(2015;Zbl 1471.03039) 全文: 内政部
马克·雷诺兹 基于表格的CTL决策程序\(^*\)。 (英语) Zbl 1242.68302号 正式Asp。计算。 第6号第23页,739-779页(2011年).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},正式Asp。计算。23,第6号,739--779(2011;Zbl 1242.68302) 全文: 内政部
雷诺兹,M。 实域上时序逻辑的复杂性。 (英语) Zbl 1235.03052号 Ann.纯粹应用。逻辑 161,编号8,1063-1096(2010).MSC公司:03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},Ann.《纯粹的应用》。逻辑161,No.8,1063--1096(2010;Zbl 1235.03052) 全文: 内政部
马克·雷诺兹 PCTL*的公理化。 (英语) Zbl 1099.03013号 Inf.计算。 201,第1期,72-119(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《信息计算》。201,第1号,72--119(2005;Zbl 1099.03013) 全文: 内政部
雷诺兹,M。 在一般线性时间内,带有“直到”的时序逻辑的复杂性。 (英语) Zbl 1019.03014号 J.计算。系统。科学。 66,第2期,393-426(2003).MSC公司:03B44号 2017年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},J.计算。系统。科学。66,第2号,393--426(2003;Zbl 1019.03014) 全文: 内政部
雷诺兹,M。 完整计算树逻辑的公理化。 (英语) Zbl 1002.03015号 J.塞姆。日志。 66,第3期,1011-1057(2001). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{M.Reynolds},J.Symb。日志。66,第3号,1011--1057(2001;Zbl 1002.03015) 全文: 内政部 链接
马克·雷诺兹 一种可判定的并行时序逻辑。 (英语) 兹伯利0904.03010 圣母院J.形式逻辑 38,第3期,419-436(1997).MSC公司:03B45号 03B25号 03B80号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},《圣母院J·形式逻辑》38,第3期,419-436页(1997年;Zbl 0904.03010) 全文: 内政部