×

2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。 (英语) Zbl 1319.03004号

加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。xv,618页。(2012年)。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。关于上一次研讨会,请参见[Zbl 1246.03011号].
索引文章:
罗伯特·康斯特布尔。,《关于构建构造性形式计算理论》,注意图灵、丘奇和布劳沃的作用,2-8[Zbl 1362.68250号]
安德烈·普拉泽,动力系统逻辑,13-24[Zbl 1362.68178号]
克里斯托夫·伯克霍尔茨,存在卵石游戏和(k)-一致性测试的下限,25-34[Zbl 1360.68490号]
阿卜杜拉,帕罗什·阿齐兹;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼,密集时间下推自动机,35-44[Zbl 1360.68535号]
阿达梅克,吉夏伊;斯特凡·米利厄斯;内森·鲍勒(Nathan Bowler);保罗·利维(Paul B.Levy)。,集上单子的副积,45-54[Zbl 1364.18001号]
马尼德拉·阿格拉瓦尔;阿克西,S。;Blaise基因;蒂亚加拉扬,P.S。,马尔可夫链符号动力学的近似验证,55-64[Zbl 1362.68162号]
拉杰夫·阿鲁尔;菲利奥,伊曼纽尔;阿舒托什特里维迪,无限字符串的正则变换,65-74[Zbl 1360.68538号]
罗伯特·艾奇,语义动作解析的语义,75-84[Zbl 1361.68111号]
阿农·阿夫隆;Beata Konikowska;安娜·扎曼斯基,亚一致逻辑无割序列计算的模块化构造,85-94[Zbl 1364.03043号]
史蒂夫·阿沃迪;尼古拉·甘比诺;克里斯蒂娜·索贾科娃,同伦类型理论中的归纳类型,95-104[Zbl 1364.03014号]
大卫·巴尔德(David Baelde);戈帕兰·纳达图尔,结合演绎模和定点定义的逻辑,105-114[Zbl 1361.68132号]
巴勃罗巴赛罗;Diego Figueira;利奥尼德·利金,有理关系图逻辑与广义交集问题,115-124[Zbl 1362.68063号]
巴托,Libor;马钦·科齐克(Marcin Kozik);罗斯·威拉德,近一致性约束具有有界路径宽度对偶性,125-134[Zbl 1362.68095号]
Jean-Philippe Bernardy;吉尔亨·穆林,参数的计算解释,135-144[Zbl 1364.03021号]
劳伦特·比恩韦努;贝诺·莫宁,冯·诺依曼(Von Neumann)有偏见的硬币再次出现,145-154年[Zbl 1364.03059号]
丹尼尔·本达拉(Daniel Bundala);约尔·瓦克宁;詹姆斯·沃雷尔,关于有界模型检查中完整性阈值的大小,155-164[Zbl 1360.68579号]
阿诺德·卡拉约尔;奥利维尔·塞雷,可折叠下推自动机和标记递归方案,等价性,安全性和有效选择,165-174[Zbl 1360.68543号]
克里希南德·查特吉;劳伦特·多恩,部分观察随机博弈:信念失败时如何获胜,175-184[Zbl 1362.91008号]
克里希南多·查特吉;马修·特雷科尔,无限词上概率自动机的可判定问题,185-194[Zbl 1360.68546号]
克里希南多·查特吉;纱线维纳195-204年,Mean-payoff下推游戏[Zbl 1361.68137号]
陈,胡比;维克托·达尔摩,分解量化合取(或析取)公式,205-214[兹比尔1361.68138]
陈,胡比;莫里茨·米勒,aleph-zero范畴量化约束满足的代数保持定理,215-224[Zbl 1364.03047号]
陈一佳;弗鲁姆,约格,关于有序猜想,225-234[Zbl 1362.68086号]
Pierre Clairambault;朱利安·古铁雷斯(Julian Gutierrez);格林·温斯克尔,并发游戏的获胜方式,235-244[Zbl 1362.68206号]
鲍勃·科克(Bob Coecke);罗斯·邓肯;基辛格,Aleks;王全龙,范畴量子力学中的强互补性和非定域性,245-254[Zbl 1364.81077号]
卡莱斯·克鲁斯(Carles Creus);加斯科恩,阿德里亚;Guillem Godoy;兰德·拉莫斯,HOM问题是EXPTIME-complete,255-264[兹比尔1360.68551]
迈克尔·埃尔伯菲尔德;马丁·格罗(Martin Grohe);蒂尔·坦托,其中一阶逻辑和一元二阶逻辑重合,265-274[Zbl 1364.03015号]
维克托·恩格尔曼(Viktor Engelmann);斯蒂芬·克鲁泽(Stephan Kreutzer);塞巴斯蒂安·西伯茨,有序结构的一阶和一阶二阶模型检验,275-284[Zbl 1362.68167号]
哈维尔·埃斯帕尔扎;皮埃尔·甘蒂(Pierre Ganty);鲁帕克·马朱姆达尔,有界验证的完美模型,285-294[Zbl 1362.68168号]
纳塔娜·菲亚尔科夫;雨果·金伯特(Hugo Gimbert);尤索夫·乌阿尔哈德,确定概率严密自动机的值1问题,295-304[Zbl 1360.68553号]
高思春;杰里米·阿维加德;埃德蒙·克拉克(Edmund M.Clarke)。,\(\δ\)-实域上的可判定性,305-314[Zbl 1364.03065号]
迪帕克·加格;基诺维斯,瓦莱里奥;萨拉·内格里,多模态逻辑中顺序计算的反模型,315-324[Zbl 1364.03030号]
格勒,斯特凡;让·克里斯托夫(Jean Christoph Jung);马库斯·洛伊,分解模态和一阶理论的复杂性,325-334[Zbl 1364.03031号]
克莱门斯的Grabmayer;Jorg Endrullis;亨德里克斯,迪米特里;科洛普(Klop)、扬·威廉姆(Jan Willem);劳伦斯·莫斯。,自动序列和邮政编码规格,335-344[Zbl 1361.68155号]
谢尔盖·格里戈里夫;皮埃尔·瓦拉彻,使用有界信息的函数和算法动力学,345-354[Zbl 1362.68074号]
谢尔盖·哈达德;Sylvain Schmitz;菲利普·施诺贝伦,时间弧Petri网、数据网和其他丰富网的顺序递归复杂性,355-364[Zbl 1362.68214号]
雨果·赫贝林,依赖选择的构造性证明,与经典逻辑兼容,365-374[Zbl 1364.03070号]
赫布雷托,弗雷德里克;Srivathsan,B。;伊戈尔·瓦卢基维奇,时间自动机的更好抽象,375-384[Zbl 1360.68560号]
北彦浩弘,基于基本组合对象的调用值语言的步进索引可实现性语义,385-394[Zbl 1360.68573号]
吉勒姆·贾伯(Guilhem Jaber);尼古拉斯·塔巴鲁(Nicolas Tabarau);索索、马蒂厄,带强迫的扩展型理论,395-404[Zbl 1364.03016号]
桑杰·贾恩;亚历克谢·米亚斯尼科夫;弗兰克·斯蒂芬,口头语言相对于群体的复杂性,405-414[Zbl 1361.68122号]
彼得·扬克,通过一阶语法确定DPDA语言等价性,415-424[Zbl 1360.68561号]
Jeannin,Jean-Baptiste;德克斯特·科赞,胶囊和分离,425-430[Zbl 1362.68050号]
伊曼纽尔·基尔翁斯基;米查利辛(Michaliszyn),雅库布(Jakub);伊恩·普拉特·哈特曼;利迪亚·坦德拉,具有等价闭包的二变量一阶逻辑,431-440[Zbl 1362.68107号]
安维什·科穆拉维利(Anvesh Komuravelli);科琳娜·s·帕斯·雷纳。;埃德蒙·克拉克(Edmund M.Clarke)。,从树样本学习概率系统,441-450[Zbl 1362.68122号]
安德烈亚斯·克雷布斯;A.V.Sreejith。,(((mathbb{N},+))上广义一阶公式对语言的不可定义性,451-460[兹比尔1361.68101]
Annabelle McIver;拉里萨·梅尼基;摩根,卡罗尔,用于信息隐藏的Kantorovich-monadic功率域,具有概率和不确定性,461-470[Zbl 1362.68161号]
达米亚诺·马扎,无限仿射lambda-calculus与完全lambda-Calculu斯同构,471-480[Zbl 1364.03022号]
保罗·安德烈·梅利斯,字符串图中的游戏语义,481-490[Zbl 1364.03083号]
米查利辛(Michaliszyn),雅库布(Jakub);奥托普,简,可判定基本模态逻辑,491-500[Zbl 1364.03033号]
穆勒,塞巴斯蒂安;伊多·扎梅雷特,稠密随机3CNF公式的简短命题反驳,501-510[Zbl 1364.03082号]
Vivek Nigam先生,关于线性授权逻辑的复杂性,511-520[Zbl 1364.03044号]
帕里斯(Pawe Parys),关于坍塌作业的重要性,521-530[Zbl 1360.68569号]
阿德里安·皮耶拉德(Adrien Piérard);埃希罗·苏米,具有名称创建的高阶分布式微积分,531-540[Zbl 1362.68221号]
安德烈·普拉泽,混合系统的完全证明理论,541-550[Zbl 1364.03045号]
亚历山大·拉比诺维奇(Alexander Rabinovich);萨沙·鲁宾,具有可数分支的树的解释,551-560[Zbl 1364.03017号]
大卫·萨贝尔;Schmidt Schauß,曼弗雷德,Haskell中的保守并发,561-570[Zbl 1361.68049号]
安德烈亚·沙尔克(Andrea Schalk);休·斯蒂尔,构建乘法线性逻辑的完全完备模型,571-580[Zbl 1364.03084号]
彼得·舒斯特,《代数归纳法:第一个案例研究》,581-585[兹伯利1364.03086]
托尼·谭,具有有序数据值的树的自动机模型,586-595[Zbl 1361.68124号]
德米特里·特雷特尔;安德烈·波佩斯库;Jasmin C.布兰切特。,《高阶逻辑的基础复合数据类型:应用于定理证明的范畴理论》,596-605[Zbl 1362.68251号]
杰米·维卡里,量子协议的高级语义,606-615[Zbl 1364.81084号]

MSC公司:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
68-06 与计算机科学有关的会议记录、会议、收藏等
00B25型 其他特别感兴趣的会议记录

软件:

哈斯克尔
PDF格式BibTeX公司 XML格式引用
全文: 链接