×

找到40个文档(结果1-40)

微积分和模型检查。 (英语) Zbl 1392.68236号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。871-919 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参数化异步共享内存下推系统的模型检查线性时间属性。 (英语) Zbl 1495.68134号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 155-175 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

为什么时间自动机的活性很难,以及我们能做些什么。 (英语) Zbl 1391.68071号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第48条,第14页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化异步共享内存系统的安全性几乎总是可以决定的。 (英语) Zbl 1374.68337号

Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,72-84(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于监视器和Büchi自动机的注释。 (英语) Zbl 1471.68115号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 39-57 (2015).
PDF格式BibTeX公司 XML格式引用

键入弱MSOL属性。 (英语) Zbl 1448.68315号

Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 343-357 (2015).
PDF格式BibTeX公司 XML格式引用

非循环体系结构的分布式综合。 (英语) Zbl 1360.68594号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学学报29,639-651(2014)。
PDF格式BibTeX公司 XML格式引用

使用模型对递归方案进行模型检查。 (英语) Zbl 1381.68179号

长谷川,Masahito(编辑),键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38945-0/pbk)。计算机科学讲座笔记7941189-204(2013)。
PDF格式BibTeX公司 XML格式引用

时间自动机的更好抽象。 (英语) Zbl 1360.68560号

2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。375-384(2012年)。
PDF格式BibTeX公司 XML格式引用

递归方案的简单模型。 (英语) Zbl 1365.68332号

Rovan,Branislav(编辑)等人,《2012年计算机科学的数学基础》。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,49-60(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用非凸近似对时间自动机进行有效分析。 (英语) Zbl 1246.68145号

Chakraborthy,Supraik(编辑)等人,2011年12月12日至14日在印度孟买举行的软件技术和理论计算机科学基础IARCS年会(FSTTCS 2011)。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,78-89,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用

Krivine机器和高阶方案。 (英语) Zbl 1333.68111号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756162-173(2011)。
MSC公司:2005年第68季度 03B40型 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

合成:单词和痕迹。 (英语) 兹比尔1305.68116

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲座笔记6252,18-21(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

web服务组合的下限。 (英语) Zbl 1195.68067号

Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423274-286(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从逻辑到游戏。 (英语) Zbl 1172.68545号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿382179-91(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有基递归和DPDA等价性的理想化算法。 (英语) 兹比尔1085.68092

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿3580917-929(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不安全语法和恐慌自动机。 (英语) Zbl 1081.68054号

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801450-1461(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

如何修复:在不同的上下文中使用修复点。 (英语) Zbl 1108.68528号

Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,184-193(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL的NP完整片段。 (英语) 兹比尔1117.03317

Calude,Cristian S.(编辑)等,《语言理论的发展》。第八届国际会议,DLT 2004,新西兰奥克兰,2004年12月13-17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24014-4/pbk)。计算机科学讲座笔记3340334-344(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有无限性和常规条件的下推游戏。 (英语) Zbl 1205.68194号

Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 88-99 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制胜策略与控制器综合(摘要)。 (英语) Zbl 1116.68542号

Baaz,Matthias(编辑)等人,《计算机科学逻辑》。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40801-0/pbk)。莱克特。注释计算。科学。2803, 574 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于合成的自动机和游戏。 (英语) Zbl 1275.68097号

Kirchner,Hélène(编辑)等人,代数方法论和软件技术。第九届国际会议,2002年AMAST,2002年9月9日至13日,法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林:施普林格出版社(ISBN 3-540-44144-1/pbk)。计算机科学课堂讲稿2422,15-20(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查下推系统的CTL属性。 (英语) Zbl 1044.68111号

Kapoor,Sanjiv(编辑)等人,FST TCS 2000:软件技术和理论计算机科学基础。第20届会议,印度新德里,2000年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41413-4)。莱克特。注释计算。科学。1974, 127-138 (2000).
MSC公司:第68季度第60季度 2017年第68季度 2005年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 链接

号角微积分。 (英语) Zbl 0945.03541号

第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。58-69 (1998).
PDF格式BibTeX公司 XML格式引用

关于命题mu-calculus相对于一元二阶逻辑的表达完备性。 (英语) 兹比尔1514.68171

Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 263-277 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模态演算和相关结果的自动机。 (英语) Zbl 1193.68163号

Wiedermann,Jiří(编辑)等人,《计算机科学的数学基础》,1995年。1995年8月28日至9月1日,第20届国际研讨会,MFCS’95,捷克共和国布拉格。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-60246-1)。莱克特。注释计算。科学。969, 552-562 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份