×

找到55个文档（结果1-55）

最新的 引文 关联
卡洛·库比（编辑）;约翰·埃德尔（编辑）;马克·雷诺兹（编辑）

第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。 （英语） Zbl 1473.68013号

LIPIcs–莱布尼茨国际信息学会议录206.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-206-8）。xiv，17篇文章，非连续页面，仅限电子版，开放获取（2021）。
MSC公司：68-06 03B44号 第68季度第60季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Combi}（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1473.68013）
全文： 内政部 链接
奥马尔·巴塔尼赫;David S.Rosenblum。;马克·雷诺兹

一种新的基于公式累进表的分散式LTL监控框架。 （英语） Zbl 07808263号

Biondi，Fabrizio（编辑）等人，《模型检查软件》。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11636, 38-55 (2019).
MSC公司：第68季度第60季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Bataineh}等人，Lect。注释计算。科学。11636，38-55（2019；Zbl 07808263）
全文： 内政部 arXiv公司
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹

用于（mathrm{TPTL}）和（mathrm）的单程和树形表格系统{TPTL}_b+\mathrm{过去}\）。 （英语） Zbl 1524.03015号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277176-190（2018）。
MSC公司：03B44号 03B70号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277176--190（2018；Zbl 1524.03015）
全文： arXiv公司 链接
约翰·丹斯特德。;马克·雷诺兹

并行线性时序逻辑表。 （英语） Zbl 1483.68133号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256166-179（2017）。
MSC公司：2010年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛J.C.McCabe Dansted｝和\textit｛M.Reynolds｝，Electron。程序。西奥。计算。科学。（EPTCS）256166-179（2017年；兹bl 1483.68133）
全文： arXiv公司 链接
尼古拉·吉甘特;安吉洛·蒙塔纳里;马克·雷诺兹

LTL+过去的单程树形画面。 （英语） Zbl 1402.03026号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，456-473（2017）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{N.Gigante}等人，EPiC Ser。计算。46、456--473（2017；Zbl 1402.03026）
全文： 内政部
马克·雷诺兹

LTL表格的新规则。 （英语） 兹比尔1478.03030

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016年）。
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）226287--301（2016；Zbl 1478.03030）
全文： arXiv公司 链接
约翰·麦凯布·丹斯特德;马克·雷诺兹

捆绑策略的画面。 （英语） 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）
全文： 内政部
马克·雷诺兹

实域上时序逻辑的一个画面。 （英语） Zbl 1385.03014号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。439-458 (2014).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。439--458（2014；Zbl 1385.03014）
马克·雷诺兹

更快的\（\mathrm{CTL}^{\ast}\）表格。 （英语） Zbl 1464.03019号

Puppis，Gabriele（编辑）等人，第四届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2013，Borca di Cadore，Dolomites，意大利，2013年8月29日至31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）119，50-63（2013年）。
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）119，50--63（2013；Zbl 1464.03019）
全文： arXiv公司 链接
法语，蒂姆;约翰·麦卡贝·丹斯特德;马克·雷诺兹

模糊模型：线性时间内的模型构建和模型检查。 （英语） Zbl 1303.68084号

Lodaya，Kamal（编辑），《逻辑及其应用》。第五届印度会议，2013年ICLA，印度钦奈，2013年1月10日至12日，会议记录。柏林：施普林格出版社（ISBN 978-3-642-36038-1/pbk）。计算机科学课堂讲稿7750，50-68（2013）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，Lect。注释计算。科学。7750，50-68（2013；Zbl 1303.68084）
全文： 内政部
法语，蒂姆;John McCabe-Dansted先生;马克·雷诺兹

验证真实模型中的时间属性。 （英语） Zbl 1406.68052号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。计算机科学课堂讲稿8312，309-323（2013）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，Lect。注释计算。科学。8312、309--323（2013；Zbl 1406.68052）
全文： 内政部
法语，蒂姆;John McCabe-Dansted先生;马克·雷诺兹

模型检查一般线性时序逻辑。 （英语） Zbl 1401.68195号

Galmiche，Didier（编辑）等人，《使用分析表和相关方法的自动推理》。2013年9月16日至19日，法国南希，第22届国际会议，TABLEAUX 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。人工智能课堂讲稿，119-133（2013）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，Lect。注释计算。科学。8123、119--133（2013；Zbl 1401.68195）
全文： 内政部
法语，蒂姆;John McCabe-Dansted先生;马克·雷诺兹

实域上时序逻辑的综合。 （英语） Zbl 1291.03029号

托马斯·博兰德（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。217-238 (2012).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。217--238（2012年；Zbl 1291.03029）
法语，蒂姆;John C.McCabe-Dansted。;马克·雷诺兹

义务公理和时序逻辑的稳健性。 （英语） Zbl 1250.03027号

Guido Governatori等人，《计算机科学中的道义逻辑》。2010年7月7日至9日，第十届国际会议，DEON 2010，意大利菲索。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14182-9/pbk）。计算机科学6181课堂讲稿。人工智能课堂讲稿，66-83（2010）。
MSC公司：03B44号 03B45号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，Lect。注释计算。科学。618166-83（2010年；Zbl 1250.03027）
全文： 内政部
法语，蒂姆;Mc Cabe-Dansted，John C。;马克·雷诺兹

稳健性的时间逻辑。 （英语） Zbl 1148.03312号

Konev，Boris（编辑）等人，《组合系统的前沿》。第六届国际研讨会，FroCoS 2007，英国利物浦，2007年9月10日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74620-1/pbk）。计算机科学课堂讲稿4720。《193-205年人工智能课堂讲稿》（2007年）。
MSC公司：03B44号 03B25号 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛T.French｝等人，Lect。注释计算。科学。4720、193--205（2007；Zbl 1148.03312）
全文： 内政部
伊恩·霍德金森;马克·雷诺兹

分离——过去、现在和未来。 （英语） Zbl 1272.03091号

阿尔特莫夫、谢尔盖（编辑）等，我们将向他们展示！为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦：学院出版物（ISBN 1-904987-12-5/pbk；1-904987-26-5/hbk）。《致敬》2，117-142（2005）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{I.霍德金森}和textit{M.雷诺兹}，《致敬》2，117--142（2005；Zbl 1272.03091）
马克·雷诺兹

走向CTL*画面。 （英语） Zbl 1172.03310号

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821384-395（2005）。
MSC公司：03B35型 03B44号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，莱克特。注释计算。科学。3821384--395（2005年；Zbl 1172.03310）
全文： 内政部
法语，蒂姆;罗恩·范德梅登;马克·雷诺兹

知识和过去时间逻辑的公理：同步和独特的初始状态。 （英语） Zbl 1102.03015号

Schmidt，Renate（编辑）等人，《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。伦敦：国王学院出版物（ISBN 1-904987-22-2/pbk）。53-72 (2005).
MSC公司：03B45号 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.French}等人，in：模态逻辑的进展。第5卷。第五届会议论文选集（AiML 2004），英国曼彻斯特，2004年9月9日至11日。伦敦：国王学院出版。53-72（2005年；兹bl 1102.03015）
马克·雷诺兹

普赖尔的奥克哈密主义历史必然性逻辑的公理化。 （英语） Zbl 1082.03015号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。355-370 (2003).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版。355--370（2003；Zbl 1082.03015）
法语，蒂姆;马克·雷诺兹

完善的QPTL证明体系。 （英语） Zbl 1083.03022号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。127-147 (2003).
MSC公司：03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.French}和\textit{M.Reynolds}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四次会议（AiML 2002）论文选集。伦敦：国王学院出版。127-147（2003年；Zbl 1083.03022）
马克·雷诺兹（编辑）;迈克尔·扎克哈里亚舍夫（编辑）

特刊：2000年10月4日至7日在德国莱比锡举行的第三届国际时序逻辑会议论文集。 （英语） Zbl 0996.00513号

J.日志。计算。 第4期，第12期，第547-700页（2002年）.
MSC公司：00B25型 03-06
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}（编辑）和\textit{M.Zakharyaschev}（主编），J.Log。计算。12，第4号，547--700（2002；Zbl 0996.00513）
全文： 内政部
马克·雷诺兹

连续时间模型。 （英语） Zbl 1052.03521号

马库斯（编辑）等，AI 2001：人工智能进展。第十四届澳大利亚联合会议，澳大利亚阿德莱德，2001年12月10日至14日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42960-3）。莱克特。注释计算。科学。2256, 414-425 (2001).
MSC公司：03B44号 第68季度第60季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，莱克特。注释计算。科学。2256414-425（2001年；Zbl 1052.03521）
全文： 链接
Dov M.加巴伊。;马克·雷诺兹（Mark A.Reynolds）。;马塞洛·芬格

时间逻辑。第2卷。数学基础和计算方面。 （英语） Zbl 1014.03006号

牛津逻辑指南. 40. 纽约州纽约市：牛津大学出版社。xiv，597页（2000年）。
MSC公司：2002年3月 03B44号 03B70号 65年第68季度 第68季度第60季度 68T27型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第2卷。数学基础和计算方面。纽约州纽约市：牛津大学出版社（2000；Zbl 1014.03006）
马尔滕·马克思;米库拉斯，萨博尔斯;马克·雷诺兹

时序逻辑的镶嵌方法。 （英语） Zbl 0963.03025号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，苏格兰圣安德鲁斯，TABLEAUX 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1847, 324-340 (2000).
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Marx}等人，Lect。注释计算。科学。1847324-340（2000年；Zbl 0963.03025）
克莱尔·狄克逊;迈克尔·费希尔;马克·雷诺兹

Horn-子句时序逻辑中的执行和证明。 （英语） Zbl 0945.03019号

Barringer，Howard（编辑）等人，《时间逻辑的进展》。第二届时间逻辑国际会议论文选集，ICTL，英国曼彻斯特，1997年。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 413-433 (2000).
MSC公司：03B44号 03B35型 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，应用。日志。序列号。16、413--433（2000；Zbl 0945.03019）
马塞洛·芬格;马克·雷诺兹

双时态数据库的二维可执行时态逻辑。 （英语） Zbl 0945.03020号

Barringer，Howard（编辑）等人，《时间逻辑的进展》。第二届时间逻辑国际会议论文选集，ICTL，英国曼彻斯特，1997年。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 393-411 (2000).
MSC公司：03B44号 第68页，共15页 03B70号 90B99型
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{M.Reynolds}，应用。日志。序列号。16、393--411（2000；Zbl 0945.03020）
马塞洛·芬格;马克·雷诺兹

强制历史：二维可执行时态逻辑。 （英语） Zbl 0952.03015号

Ohlbach，Hans Jürgen（编辑）等人，《逻辑、语言和推理》。纪念Dov Gabbay的论文。多德雷赫特：Kluwer学术出版社。趋势日志。螺柱日志。伦敦银行同业拆借利率。5, 73-98 (1999).
MSC公司：03B44号 第68页，共15页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Finger}和\textit{M.Reynolds}，趋势日志。螺柱日志。伦敦银行同业拆借利率。5、73-98（1999；Zbl 0952.03015）
Dov M.加巴伊。;伊恩·霍德金森;马克·雷诺兹

时间逻辑。第1卷。数学基础和计算方面。 （英语） Zbl 0921.03023号

牛津逻辑指南. 28. 牛津：克拉伦登出版社。xiv，653页（1994年）。
审核人：Neculai Curteanu（MR 95h:03040）
MSC公司：03B45号 2002年3月 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第1卷。数学基础和计算方面。牛津：克拉伦登出版社（1994；Zbl 0921.03023）
雷诺兹，M。

在整数时间上公理化U和S。 （英语） Zbl 0949.03507号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第827117-132页（1994年）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，莱克特。注释计算。科学。827、117--132（1994年；Zbl 0949.03507）
D.M.加巴伊。;I.M.霍德金森。;Reynolds，文学硕士。

存在间隙时的时间表达完整性。 （英语） Zbl 0802.03016号

Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至7月22日在芬兰赫尔辛基举行的ASL夏季会议。柏林：Springer-Verlag。莱克特。注释日志。2, 89-121 (1993).
审核人：V.V.Rybakov（克拉斯诺亚尔斯克）
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，Lect。注释日志。2、89——121（1993；Zbl 0802.03016）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件