×

找到101份文件(结果1-100)

100
马查克斯

基于非互模拟的马尔可夫自动机行为关系。 (英语) Zbl 06989606

Jansen,David N.(ed.)等人,《时间系统的形式化建模与分析》。第16届国际会议,2018年9月4日至6日,中国北京。会议记录。查姆:斯普林格。选择。笔记计算。科学。11022179-196(2018年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参数化异步共享内存下推系统线性时间特性的模型检验。 (英语) Zbl 07571375

Majumdar,Rupak(编辑)等人,计算机辅助验证。第29届国际会议,2017年7月24日至28日,德国海德堡,2017年。第二部分。查姆:斯普林格。选择。笔记计算。科学。10427、155-175(2017年)。
理学硕士:68Q60型 03B44号 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

基于ODEs的生物通路模型的自动性质综合。 (英语) Zbl 1416.92067

Feret,Jérôme(ed.)等人,《系统生物学中的计算方法》。第15届国际会议,CMSB 2017,德国达姆施塔特,2017年9月27-29日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10545265-282(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

定量线性时间逻辑的奇偶自动机。 (英语) Zbl 1433.68212

Bonchi,Filippo(ed.)等人,第七届计算机科学代数和coalgebra会议,CALCO 2017,2017年6月14-16日,斯洛文尼亚卢布尔雅那。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。72,第7条,第18页(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

控制综合的鲁棒抽象:线性时间特性鲁棒性的完备性。 (英语) Zbl 1369.93195

第20届ACM混合动力系统国际会议记录:计算与控制,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4590-3)。101-110(2017年)。
PDF格式 BibTeX公司 XML 引用

过去、现在和无限的未来。 (英语) Zbl 1388.03040

Chatzigiannakis,Ioannis(编辑)等人,《第43届自动机、语言和编程国际学术讨论会》,ICALP 2016,意大利罗马,2016年7月12日至15日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-013-2)。LIPIcs–莱布尼茨国际信息学论文集55,第95条,第14页(2016年)。
理学硕士:03D05年 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

有限迹上线性时间mu演算的可满足性。 (英语) Zbl 1476.68178

Dinh,Thang N.(ed.)等人,《计算与组合学》。第22届国际会议,COCOON 2016,越南胡志明市,2016年8月2日至4日。会议记录。查姆:斯普林格。选择。笔记计算。科学。9797611-622(2016年)。
理学硕士:6885年 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

正则余代数线性时间逻辑。 (英语) Zbl 1366.03242

Moss,Lawrence S.(ed.)等人,第六届计算机科学代数和余代数会议,CALCO'15,荷兰奈梅根,2015年6月24-26日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-84-2)。LIPIcs–莱布尼茨国际信息学论文集35,66-85(2015)。
理学硕士:03G30型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

稳态和时间无界时间算子的模拟模型检验。 (英语) Zbl 1394.68236

Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型VIII》。柏林:斯普林格出版社(ISBN 978-3-642-40464-1/pbk)。《计算机科学8100课堂讲稿》,期刊第142-158页(2013年)。
理学硕士:68Q60型 6885年 92C40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

通过模型组合进行LTL模型检查。 (英语) 兹布1374.68283

Finkel,Alain(编辑)等人,可达性问题。2012年9月17日至19日,法国波尔多,RP 2012第6次国际研讨会。柏林:斯普林格出版社(ISBN 978-3-642-33511-2/pbk)。计算机科学课堂讲稿755042-53(2012)。
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

线性时间演算的stutter不变片段的完全公理化。 (英语) Zbl 1254.03025

Beklemishev,Lev(ed.)等人,《模态逻辑的进展》。第8卷,第8届会议记录(AiML 2010),莫斯科,俄罗斯,2010年8月24-27日。伦敦:大学出版物(ISBN 978-1-84890-013-4)。140-155(2010年)。
理学硕士:03B44号 6885年
PDF格式 BibTeX公司 XML 引用

线性时态语言的克雷格插值。 (英语) Zbl 1257.03042

Grädel,Erich(ed.)等人,《计算机科学逻辑》。2009年9月7日至11日,葡萄牙科英布拉,第23届国际研讨会,2009年CSL,第18届EACSL年会。柏林:斯普林格出版社(ISBN 978-3-642-04026-9/pbk)。计算机科学课堂讲稿5771287-301(2009)。
理学硕士:03B44号 03C40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

自动机:从逻辑到算法。 (英语) Zbl 1234.03026

Flum,Jörg(ed.)等人,《逻辑与自动机》。历史和观点。献给沃尔夫冈·托马斯六十岁生日。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-5356-576-6/pbk)。《逻辑与游戏文本》第629-736页(2008年)。
理学硕士:03D05年 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用

时序逻辑与状态系统。 (英语) Zbl 1169.03001号

理论计算机科学教材。EATCS系列柏林:斯普林格出版社(ISBN 978-3-540-67401-6)。十二,433页。(2008年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

关于多智能体域中动作的推理。 (英语) Zbl 1007.03015

埃斯波西托,弗洛里亚纳(编辑),《人工智能进展》,2001年。意大利人工智能协会第七届大会,2001年9月25日至28日,意大利巴里。柏林:斯普林格。选择。笔记计算。科学。2175237-248(2001年)。
理学硕士:03B44号 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 链接

有限帧上命题线性时间逻辑的标号表。 (英语) Zbl 0966.03018

Basin,David(ed.)等人,标签扣减。根据第一届国际研讨会,1998年9月,德国弗莱堡,LD'98。多德雷赫特:Kluwer学术出版社。申请。日志。爵士。17135-159(2000年)。
理学硕士:03B44号 03B35型
PDF格式 BibTeX公司 XML 引用

引导小句时间分辨。 (英语) Zbl 0949.03009

Barringer,Howard(ed.)等人,《时间逻辑的进展》。第二届国际时态逻辑会议论文选集,ICTL,曼彻斯特,英国,1997年。多德雷赫特:Kluwer学术出版社。申请。日志。爵士。16167-184(2000年)。
理学硕士:03B35型 03B44号
PDF格式 BibTeX公司 XML 引用

TLC(扩展摘要)的一个表达扩展。 (英语) Zbl 0954.03500

Thiagarajan,P.S.(ed.)等人,《计算科学进展——1999年亚洲计算机科学会议》,泰国普吉,1998年12月8日至10日,会议记录。柏林:斯普林格。选择。笔记计算。科学。1742126-138(1999年)。
理学硕士:03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用

协同设计的行为模型。 (英语) Zbl 0948.03511

Wing,Jeannette M.(编辑)等人,FM'99。形式方法。计算系统发展中形式方法世界大会。1999年9月20日至24日,法国图卢兹,会议记录。分两卷。柏林:斯普林格出版社(ISBN 3-540-66587-0/vol1;3-540-66588-9/vol2)。选择。笔记计算。科学。1708年;17091420-1438(1999年)。
理学硕士:03B70型 03B44号 68M99
PDF格式 BibTeX公司 XML 引用

一种用于Mazurkiewicz迹的不带过去时算子的表示完全时序逻辑。 (英语) Zbl 0942.03028

Flum,Jörg(ed.)等人,《计算机科学逻辑》。1999年9月20日至25日在西班牙马德里举行的欧洲空间法委员会第八届年会第13次国际研讨会。柏林:斯普林格。选择。笔记计算。科学。1683188-203(1999年)。
理学硕士:03B44号 6885年 68Q60型
PDF格式 BibTeX公司 XML 引用

将线性时-时逻辑转换为\(\omega\)-自动机的HOL转换。 (英语) Zbl 0943.03008

Bertot,Yves(ed.)等,高阶逻辑中的定理证明。第12届国际会议,1999年9月14日至17日,法国尼斯,会议记录。柏林:斯普林格。选择。笔记计算。科学。1690、255-272(1999年)。
理学硕士:03B35型 68T15型 03B44号 68Q60型 03D05年
PDF格式 BibTeX公司 XML 引用

具有时态连接词的时态逻辑的表演算。 (英语) Zbl 0931.03034

Murray,Neil V.(ed.),自动推理与分析表格和相关方法。1999年6月7日至11日,美国纽约萨拉托加温泉国际会议,1999年6月7日至11日。柏林:斯普林格。选择。笔记计算。科学。1617232-246(1999年)。
理学硕士:03B44号 68问10 03B35型
PDF格式 BibTeX公司 XML 引用

线性时时态逻辑的分布式版本:跟踪视角。 (英语) Zbl 0934.03025

Reisig,Wolfgang(编辑)等,关于Petri网的讲座。1: 基本模型。Petri网研究进展。柏林:斯普林格。选择。笔记计算。科学。1491643-681(1998年)。
PDF格式 BibTeX公司 XML 引用

关于约简状态空间生成中的顽固集方法。 (英语) Zbl 0928.68068

赫尔辛基工业大学数字系统实验室。A系列:研究报告。51.赫尔辛基:赫尔辛基工业大学计算机科学与工程系HUT。105页(1998年)。
理学硕士:68Q45号 68-02年
PDF格式 BibTeX公司 XML 引用

困难的配置——关于LTrL的复杂性。(扩展摘要)。 (英语) Zbl 0909.03024

Larsen,Kim G.(ed.)等人,《自动机,语言与程序设计》。第25届国际学术讨论会,1998年,丹麦奥尔堡,1998年7月13-17日,会议记录。柏林:斯普林格。选择。笔记计算。科学。1443140-151(1998年)。
理学硕士:03B45型 03D15号
PDF格式 BibTeX公司 XML 引用

简单情况下命题线性时态逻辑的复杂性。(扩展摘要)。 (英语) Zbl 0919.03012

Morvan,Michel(ed.)等人,Stacs98。计算机科学理论方面的第15届年会。1998年2月25日至27日,法国巴黎,会议记录。柏林:斯普林格。选择。笔记计算。科学。第1373、61-72(1998年)。
PDF格式 BibTeX公司 XML 引用

命题线性时态逻辑的拓扑推广。 (英语) Zbl 0943.03016

Privara,L.(ed.)等人,《计算机科学的数学基础》,1997年第22届国际研讨会,MFCS'97,斯洛伐克布拉迪斯拉发,1997年8月25日至29日,会议记录。柏林:斯普林格。选择。笔记计算。科学。1295289-297(1997年)。
理学硕士:03B44号 68Q60型 03B42号
PDF格式 BibTeX公司 XML 引用

线性时间微积分的一个有效的tableau系统。 (英语) Zbl 1045.03514号

Meyer auf der Heide,Friedhelm(编辑)等,自动机,语言和编程。1996年7月8日至12日在德国帕德伯恩举行的第23届国际学术讨论会,会议记录。柏林:斯普林格出版社(ISBN 3-540-61440-0/pbk)。选择。笔记计算。科学。1099、98-109(1996年)。
理学硕士:03B70型 03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用

Mazurkiewicz迹上的线性时-时逻辑。 (英语) Zbl 0886.03017

Penczek,Wojciech(编辑)等人,《计算机科学的数学基础》,1996年第21届国际研讨会,MFCS'96,波兰克拉科夫,1996年9月2日至6日,会议录。柏林:斯普林格。选择。笔记计算。科学。111362-92(1996年)。
PDF格式 BibTeX公司 XML 引用

公平Kripke结构的等价性。 (英语) Zbl 1418.68125号

Abiteboul,Serge(编辑)等人,《自动机,语言与编程》。第21届国际学术讨论会,1994年7月11日至14日,以色列耶路撒冷。柏林:斯普林格。选择。笔记计算。科学。820364-375(1994年)。
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

积分关系自动机的性质判定。 (英语) Zbl 1418.68126号

Abiteboul,Serge(编辑)等人,《自动机,语言与编程》。第21届国际学术讨论会,1994年7月11日至14日,以色列耶路撒冷。柏林:斯普林格。选择。笔记计算。科学。82035-46(1994年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

存在间隙时的时间表达完整性。 (英语) Zbl 0802.03016

Oikkonen,Juha Markku Robert(编辑)等,90年逻辑学术讨论会。1990年7月15日至22日在芬兰赫尔辛基召开的ASL夏季会议。柏林:斯普林格-维拉格。选择。笔记日志。第289-121页(1993年)。
理学硕士:03B45型
PDF格式 BibTeX公司 XML 引用

对国家爆炸的顽固攻击。 (英语) Zbl 0786.68069

90年代计算机辅助验证程序。第二届DIMACS研讨会,新不伦瑞克/新泽西州(美国),1990年,DIMACS,Ser。谨慎。数学。理论。计算机。科学。3,25-41(1991年)。
理学硕士:68Q60型 68问10 03B45型
PDF格式 BibTeX公司 XML 引用

逻辑与并发模型中的线性时间、分支时间与偏序。1988年5月30日至6月3日,荷兰Noordwijkerhout,学校/研讨会。 (英语) Zbl 0683.68001

计算机科学讲义,354。柏林等:斯普林格·韦拉格。八、 713页98.00马克(1989年)。
理学硕士:68-06年 00B25号
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

分类

全部的 前3名

软件