×

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

最新 引文 关联
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） 兹比尔1497.03035

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
柯特林·迪马

具有同步性和完美召回的CTLK的可满足性和模型检查。 （英语） Zbl 1250.03026号

Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-02733-8/pbk）。计算机科学5405课堂讲稿。《人工智能讲义》，117-131（2009）。
MSC公司：03B44号 03B42号 60年第68季度 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{C.Dima}，莱克特。注释计算。科学。5405、117--131（2009年；Zbl 1250.03026）
全文： 内政部
托马斯·博兰德;延斯·乌尔里克·汉森;迈克尔·汉森。

混合持续时间演算的可判定性。 （英语） Zbl 1278.03040号

Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，113-133（2007）。
MSC公司：03B44号 03B25号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Bolander}等人，《电子》。注释Theor。计算。科学。174，第6号，113--133（2007；Zbl 1278.03040）
全文： 内政部
简·大卫·奎塞尔;安德烈亚斯·施费尔

移动实时系统的时空模型检查。 （英语） Zbl 1168.68427号

Barkaoui，Kamel（编辑）等人，《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会，突尼斯，突尼斯，2006年11月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48815-6/pbk）。计算机科学讲义4281347-361（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-D.Quesel}和\textit{A.Schäfer}，莱克特。注释计算。科学。4281、347--361（2006年；Zbl 1168.68427）
全文： 内政部
莫舍·瓦尔迪。

分支与线性时间：最终决战。 （英语） Zbl 0986.68064号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2031, 1-22 (2001).
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。2031年1月22日（2001年；Zbl 0986.68064）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件