2016年LFCS:美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
2016年1月4日至7日,美国佛罗里达州迪尔菲尔德海滩,2016年LFCS,计算机科学逻辑基础国际研讨会。 诉讼程序。 计算机科学课堂讲稿 9537, 施普林格 2016 ,十亿 978-3-319-27682-3 安东尼斯·阿奇利奥斯 :
无硬钻石碎片的模态逻辑。 1-13 伊万杰利亚·安东尼亚科斯 :
将传统知识和一般常识配对。 14-26 谢尔盖·N·阿特莫夫 :
关于聚合概率证据。 27-42 马可·德文萨斯·坎波斯 , 马塞洛·菲奥雷 :
孟德尔归纳经典逻辑——对偶演算及其强正规化。 43至59 道格拉斯·A·岑泽 , 维克托·马雷克 , 杰弗里·伦梅尔 :
带函数符号的有限正规谓词逻辑程序的索引集。 60-75 亚历克斯·西特金 :
具有不相交性质的逻辑学中的多结论规则。 76-89 哈雷伊德斯III , 瓦莱丽亚·德佩瓦 :
多结论线性逻辑:切割消除和更多。 90-105 纳塔娜·菲亚尔科夫 :
概率语言的在线空间复杂性。 106-116 亨利克·福赛尔 , 哈贡·罗贝斯塔德·吉尔特鲁德 , 戴维·斯皮瓦克 :
键入理论数据库。 117-129 伯恩哈德·海尼曼 :
扩大子集空间以应对多智能体知识。 130-145 马克斯·卡诺维奇 , 斯蒂芬·库兹涅佐夫 , 安德烈·塞德洛夫 :
指数模态存在下的Lambek限制。 146-158 巴哈迪尔·库萨诺夫 :
算法随机无限结构的探索,II。 159-173 Ioannis Kokkinis公司 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率论证逻辑。 174-186 弗拉基米尔·克鲁普西 , 亚历克谢·亚特马诺夫 :
直觉认识逻辑的序列微积分IEL。 187-201 罗曼·库兹涅茨 :
多分量序列演算的插值方法。 202-218 丹尼尔·里卡塔 , 迈克尔·舒尔曼 :
具有2类模式的伴随逻辑。 219-235 罗伯特·卢巴斯基 :
并行反馈图灵可计算性。 236-250 斯科特·梅西克 :
连续自动机理论中的紧性。 251-266 亨利克·米查勒夫斯基 , 马泰奥·米奥 :
一元二阶逻辑中的量词。 267-282 野村Shoshin , 小野博基拉 , 胜彦三野 :
动态认识逻辑的无切割标记序列演算。 283-298 Iosif Petrakis公司 :
Bishop空间的Urysohn扩张定理。 299-316 都铎-普罗托波佩斯库 :
验证和直觉知识的算术解释。 317-330 拉马斯瓦米·拉马努贾姆 , 拉马纳森S.Thinniyam :
图序一阶理论中的可定义性。 331-348 拉马努贾姆(R.Ramanujam) , 瓦什纳维·桑达拉扬 , S.P.苏雷什 :
直觉主义逻辑中分离的复杂性。 349-363 弗拉基米尔·里巴科夫 :
非及物时间多智能体的逻辑、知识与不确定性、合理性。 364-375 阿列克谢·索罗金 :
线性置换上下文无关文法的Ogden属性。 376-391 瑞克·斯塔特曼 :
征税标签和递归类型。 392-406
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)