×

找到62个文档(结果1–62)

走向Büchi互补结构的大统一。 (英语) Zbl 1528.68202号

Raskin,Jean-François(编辑)等人,《系统设计原理》。托马斯·A·亨辛格60岁生日之际的随笔。查姆:施普林格。莱克特。注释计算。科学。13660, 185-207 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从线性时序逻辑到Büchi自动机:早期和简单的原理。 (英语) Zbl 1522.68287号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030,8-40(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于SCC分解的Büchi自动机分治判定。 (英语) 兹比尔1514.68108

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。13372, 152-173 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

Büchi自动机的同余关系。 (英语) Zbl 1521.68074号

Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13047, 465-482 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

ProCount:带分级项目连接树的加权投影模型计数。 (英语) Zbl 07495571号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12831, 152-170 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于量化游戏中的满意度。 (英语) Zbl 1467.68161号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 20-37 (2021).
PDF格式BibTeX公司 XML格式引用

关于Büchi互补中明确性的力量。 (英语) Zbl 07455748号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326、182-198(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

部分可观测性下的LTLf综合:从理论到实践。 (英语) 兹比尔07455737

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3261-17(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

基于散列的近似DNF计数方法。 (英语) Zbl 1491.68193号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第41条,第14页(2018年)。
MSC公司:68T20型 68瓦20 68周25
PDF格式BibTeX公司 XML格式引用

流动游戏。 (英语) 兹比尔1491.91037

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于评估有效Büchi普适性检查的随机模型。 (英语) Zbl 1483.68190号

Ghosh,Sujata(编辑)等人,《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议,ICLA 2017。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10119, 91-105 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用基于自动机的算法求解奇偶博弈。 (英语) Zbl 1475.68475号

Han,Yo-Sub(编辑)等,自动机的实现和应用。2016年7月19日至22日,第21届国际会议,CIAA 2016,韩国首尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9705, 64-76 (2016).
PDF格式BibTeX公司 XML格式引用

比奇互补状态。 (英语) Zbl 1297.68168号

Domaratzki,Michael(编辑)等人,自动机的实现和应用。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482261-271(2011)。
MSC公司:65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用

无限状态系统的自动机理论方法。 (英语) Zbl 1288.68158号

Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲座笔记6200,202-259(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统中LTL安全特性的伪造。 (英语) Zbl 1234.68264号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505368-382(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Büchi互补和规模变化终止。 (英语) Zbl 1234.68256号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550516-30(2009)。
PDF格式BibTeX公司 XML格式引用

从哲学到工业逻辑。 (英语) Zbl 1209.68325号

Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,89-115(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束满足的逻辑方法。 (英语) 兹比尔1171.03322

Creignou,Nadia(编辑)等人,《约束的复杂性》。当前研究主题概述。柏林:施普林格出版社(ISBN 978-3-540-92799-0/pbk)。《计算机科学讲义》5250125-155(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从一元逻辑到PSL。 (英语) Zbl 1133.68380号

Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学课堂讲稿4800,656-681(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间传播中的慢收敛分析。 (英语) Zbl 1145.68506号

Bessière,Christian(编辑),约束编程的原则和实践–CP 2007。2007年9月23日至27日,第13届国际会议,CP 2007,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74969-1/pbk)。计算机科学课堂讲稿4741790-797(2007)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分支与线性时间:语义视角。 (英语) Zbl 1141.68481号

Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762,19-34(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

重温自动化理论模型检查。 (英语) Zbl 1132.68483号

Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。第八届国际会议,2007年VMCAI,法国尼斯,2007年1月14日至16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349137-150(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于验证并发转换系统的复杂性。 (英语) Zbl 1512.68155号

Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 258-272 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替自动机:统一时序逻辑的真实性和有效性检查。 (英语) Zbl 1430.68156号

William McCune(编辑),《自动扣除——CADE-14》。第十四届自动扣款国际会议,澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1249, 191-206 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于实时模型检查的空效实时算法。 (英语) 兹比尔1514.68168

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

计算机科学的无穷逻辑。 (英语) Zbl 1427.03049号

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 450-473 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份