×

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

关于依赖逻辑复杂性的参数化视图。 (英语) Zbl 07551715号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13137, 125-142 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

团队语义中的安全依赖原子和可能性操作符。 (英语) Zbl 1524.03025号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27758-72(2018)。
MSC公司:03B60号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

不完美信息的动态逻辑:从团队和游戏到过渡。 (英语) Zbl 1437.03062号

van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:斯普林格。Outst公司。控制日志。1299-315(2018年)。
PDF格式BibTeX公司 XML格式引用

不完全数据的概率条件独立和层次依赖子类的近似逻辑。 (英语) Zbl 1429.03093号

Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。183-217 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于强一阶依赖性。 (英语) Zbl 1429.03116号

Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。53-71 (2016).
MSC公司:03B60号
PDF格式BibTeX公司 XML格式引用

依赖逻辑的表达性和复杂性。 (英语) Zbl 1429.03114号

Abramsky,Samson(编辑)等人,《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑:理论和应用”研讨会上的演讲,选出论文。巴塞尔:Birkhäuser/Springer。5-32 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(k)元排除逻辑的表达能力。 (英语) Zbl 1477.03102号

Väänänen,Jouko(编辑)等人,《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9803, 375-391 (2016).
PDF格式BibTeX公司 XML格式引用

团队语义中数据复杂性的可追溯性边界。 (英语) Zbl 1476.68146号

Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,73-85(2015)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

依赖逻辑。 (英语) Zbl 1325.03028号

Baltag,Alexandru(编辑)等人,Johan van Benthem,关于逻辑和信息动力学。查姆:施普林格(ISBN 978-3-319-06024-8/hbk;978-3-3169-06025-5/电子书)。《逻辑学杰出贡献》5,101-119(2014)。
MSC公司:03B60号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份