×

找到104个文档(结果1-100)

分离逻辑的内部计算。 (英语) Zbl 07650832号

Fernández,Maribel(编辑)等人,第28届EACSL计算机科学逻辑年会,CSL 2020,西班牙巴塞罗那,2020年1月13日至16日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152,第19条,第18页(2020年)。
MSC公司:68倍 03B70号
PDF格式BibTeX公司 XML格式引用

在ATL+中使用有限数量的资源进行推理。 (英语) Zbl 1464.68344号

De Giacomo,Giuseppe(编辑)等人,《2020年ECAI》。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 624-631 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限森林上组合的模态逻辑:表达性和复杂性。 (英语) Zbl 1498.03049号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。167-180 (2020).
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离连接词和模态的公理化逻辑。 (英语) Zbl 1525.03067号

Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 692-708 (2019).
MSC公司:03B45号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于时间逻辑和分离逻辑。 (英语) 兹比尔1487.68080

Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第1条,第4页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于符号堆模许可理论。 (英语) Zbl 1491.68050号

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

模态分离逻辑的复杂性。 (英语) Zbl 1418.03077号

Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。179-198 (2018).
PDF格式BibTeX公司 XML格式引用

在命题分离逻辑中添加可达性谓词的效果。 (英语) 兹比尔1504.68128

Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 476-493 (2018).
PDF格式BibTeX公司 XML格式引用

关于资源约束逻辑的复杂性。 (英语) Zbl 1403.68137号

Larsen,Kim Guldstrand(编辑)等人,《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆:施普林格(ISBN 978-3-319-45993-6/pbk;978-3-3169-45994-3/电子书)。计算机科学讲座笔记9899,36-50(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

模态逻辑的进展。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录(AiML 2016)。 (英语) Zbl 1367.03009号

伦敦:学院出版物(ISBN 978-1-84890-201-5/pbk)。xii,第570页。(2016).
MSC公司:03-06 03B45号 00B25型
PDF格式BibTeX公司 XML格式引用

计算机科学中的时间逻辑。有限状态系统。 (英语) Zbl 1380.68003号

剑桥理论计算机科学丛书58.剑桥:剑桥大学出版社(ISBN 978-1-107-02836-4/hbk;978-1-139-23611-9/电子书)。viii,第744页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离逻辑中模式的影响(扩展抽象)。 (英语) Zbl 1385.03036号

Goré,Rajeev(编辑)等人,《模态逻辑的进展》。第10卷。第十届会议记录(AiML 2014),荷兰格罗宁根,2014年8月5-8日。伦敦:学院出版物(ISBN 978-1-84890-151-3/pbk)。134-138 (2014).
PDF格式BibTeX公司 XML格式引用

具有两个变量且没有分离连接的分离逻辑的表示完备性。 (英语) Zbl 1394.03054号

2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第37号文件,第10页(2014年)。
MSC公司:03B70号 03B15号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查平面计数器系统和Presburger算法之间的等效性。 (英语) Zbl 1393.68101号

Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762,85-97(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个量化变量的分离逻辑。 (英语) Zbl 1408.68036号

爱德华·赫施(Edward A.Hirsch)等,《计算机科学——理论与应用》。2014年6月7日至11日,第九届俄罗斯国际计算机科学研讨会,CSR 2014,俄罗斯莫斯科。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8476, 125-138 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

用计数器系统推理数据重复。 (英语) Zbl 1366.68202号

2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。33-42 (2013).
PDF格式BibTeX公司 XML格式引用

见证柜台机器的运行。 (英语) Zbl 1397.68122号

Fontaine,Pascal(编辑)等人,《组合系统的前沿》。2013年9月18日至20日,第九届国际研讨会,FroCoS,法国南希。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40884-7/pbk)。计算机科学课堂讲稿8152。《人工智能课堂讲稿》,120-150(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于检验平面计数器系统正则性质的复杂性。 (英语) Zbl 1334.68130号

Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学课堂讲稿7966,162-173(2013)。
PDF格式BibTeX公司 XML格式引用

模型检查有界多下拉系统。 (英语) Zbl 1381.68145号

Bulatov,Andrei A.(编辑)等人,《计算机科学——理论与应用》。2013年6月25日至29日,第八届俄罗斯国际计算机科学研讨会,CSR 2013,俄罗斯叶卡捷琳堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38535-3/pbk)。计算机科学课堂讲稿7913,405-417(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超越普雷斯伯格模态逻辑的规律性。 (英语) Zbl 1318.03029号

托马斯·博兰德(编辑)等人,《模态逻辑的进展》。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物(ISBN 978-1-84890-068-4/pbk)。161-182 (2012).
PDF格式BibTeX公司 XML格式引用

基于自动机的时间平衡模型计算。 (英语) Zbl 1377.68060号

维达尔·格曼(编辑),基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞,2011年7月18日至20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-32210-5/pbk)。计算机科学课堂讲稿7225,57-72(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时序逻辑进行规范和验证。 (英语) Zbl 1256.68101号

D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,457-493(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1358.68186号

Gramlich,Bernhard(编辑)等人,《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议,IJCAR 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31364-6/pbk)。计算机科学课堂讲稿7364。《人工智能课堂讲稿》,179-193年(2012年)。
PDF格式BibTeX公司 XML格式引用

Petri网可达图:FO属性的可判定状态。 (英语) Zbl 1246.68162号

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

当模型检查冻结时,柜台上的LTL机器变得可判定。 (英语) Zbl 1284.68394号

Ong,Luke(编辑),《软件科学和计算结构基础》。2010年3月20日至28日,作为欧洲软件理论和实践联合会议的一部分,在塞浦路斯帕福斯举行了第13届国际会议,FOSSACS 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12031-2/pbk)。计算机科学课堂讲稿6014176-190(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2007年11月29日至30日,法国卡尚,第五届模式方法研讨会会议记录(M4M5,2007)。 (英语) Zbl 1279.03015号

理论计算机科学电子笔记231.阿姆斯特丹:爱思唯尔。361页。,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

在万能的魔杖上。 (英语) Zbl 1157.03010号

迈克尔·卡明斯基(编辑)等人,《计算机科学逻辑》。2008年9月16日至19日,在意大利贝蒂诺罗举行的第22届CSL国际研讨会,第17届EACSL年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87530-7/pbk)。计算机科学课堂讲稿5213,323-338(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

模型检查通过单计数器自动机冻结LTL。 (英语) Zbl 1139.68038号

Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。《计算机科学讲义》4962490-504(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有until和since超过序数的时序逻辑的复杂性。 (英语) Zbl 1137.03308号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,531-545(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重复值的可判定时序逻辑。 (英语) Zbl 1132.03337号

Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,180-194(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于记忆状态序列的推理。 (英语) Zbl 1132.68335号

Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,100-114(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Presburger模态逻辑是完整的PSPACE。 (英语) Zbl 1222.03024号

Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,541-556(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于超限序列的推理。(扩展摘要)。 (英语) Zbl 1170.68513号

Peled,Doron A.(编辑)等人,用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,248-262(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

整数周期约束上的LTL(扩展摘要)。 (英语) Zbl 1126.68471号

Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。议事程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987121-135(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱递归形式的模态逻辑:PSPACE样本。 (英语) Zbl 1031.03031号

Wolter,Frank(编辑)等人,《模态逻辑的进展》。第3卷。2000年10月4日至7日,德国莱比锡,第三届AiML研讨会论文集。新加坡:世界科学。113-138 (2002).
PDF格式BibTeX公司 XML格式引用

约束LTL的自动机理论方法。 (英语) Zbl 1027.03027号

Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 121-132 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

简单相关双模逻辑的复杂性。 (英语) Zbl 0963.03076号

Dyckhoff,Roy(编辑),用分析表和相关方法进行自动推理。2000年7月3日至7日,苏格兰圣安德鲁斯,TABLEAUX 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1847190-204(2000年)。
PDF格式BibTeX公司 XML格式引用

从Grz到经典一阶逻辑的可判定片段的({mathcal O}((n\logn)^3)时间变换。 (英语) Zbl 0956.03026号

卡费拉、里卡多(编辑)等,《经典和非经典逻辑中的自动演绎》。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1761, 152-166 (2000).
PDF格式BibTeX公司 XML格式引用

信息可代表性:抽象模型与具体模型。 (英语) Zbl 0945.03041号

Dubois,Didier(编辑)等人,《模糊集、逻辑和知识推理》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。15, 301-314 (1999).
PDF格式BibTeX公司 XML格式引用

从模态可证明逻辑到一阶逻辑的可追踪转换。 (英语) Zbl 0938.03032号

Ganzinger,Harald(编辑),自动扣除-CADE-16。第十六届国际会议,意大利特伦托,1999年7月7日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1632,16-30(1999年)。
PDF格式BibTeX公司 XML格式引用

名词时态逻辑的无裁剪显示计算。 (英语) Zbl 0931.03032号

Murray,Neil V.(编辑),使用分析表和相关方法进行自动推理。国际会议,TABLEAUX'99,美国纽约州萨拉托加斯普林斯,1999年6月7日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1617, 155-170 (1999).
MSC公司:03B44号 05年3月
PDF格式BibTeX公司 XML格式引用

名词时态逻辑的顺序计算:走向机械化的一步? (英语) Zbl 0931.03031号

Murray,Neil V.(编辑),使用分析表和相关方法进行自动推理。1999年6月7日至11日,美国纽约州萨拉托加斯普林斯,1999年TABLEAUX国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1617, 140-154 (1999).
PDF格式BibTeX公司 XML格式引用

信息逻辑模型的信息表示性。 (英语) Zbl 0923.03039号

或者,埃瓦·奥斯卡(编辑),《工作中的逻辑》。纪念海伦娜·拉西奥瓦的散文。海德堡:Physica-Verlag。模糊软计算研究。24383-409(1999年)。
MSC公司:03B60号 68立方英尺 03B80号 03B45号 05年3月 94立方厘米
PDF格式BibTeX公司 XML格式引用

相对相似性逻辑是可判定的:用等式化简为\(\text{FO}^2\)。 (英语) Zbl 0935.03018号

Dix,Jürgen(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’98。德国达格斯图尔,1998年10月12日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1489, 279-293 (1998).
PDF格式BibTeX公司 XML格式引用

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

Morvan,Michel(编辑)等人,STACS 98。第十五届计算机科学理论研讨会。1998年2月25日至27日,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1373, 61-72 (1998).
PDF格式BibTeX公司 XML格式引用

其他地方逻辑的简单表格系统。 (英语) Zbl 1415.03021号

Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 177-192 (1996).
MSC公司:03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类具有可判定有效性问题的信息逻辑。 (英语) Zbl 0886.03014号

Penczek,Wojciech(编辑)等人,《计算机科学的数学基础》,1996年。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1113, 291-302 (1996).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份