10.2014年欧洲博览会:匈牙利布达佩斯
阿诺德·贝克曼 , Erzébet Csuhaj-Varjú , 克劳斯·梅尔 :
语言、生命、极限——2014年6月23日至27日在匈牙利布达佩斯举行的第十届欧洲可计算性会议。 诉讼程序。 计算机科学课堂讲稿 8493, 施普林格 2014 ,国际标准图书编号 978-3-319-08018-5 弗朗西斯·亚当斯 , 道格拉斯·森泽 :
超均质结构的可计算性和分类。 1-10 克里斯蒂娜·巴兹根 , 摩根·肖邦 , 安德烈·尼切特林 , 弗洛里安·西科拉 :
目标集选择和泛化的参数化不近似性。 11-20 利昂诺·贝塞拉·波纳切(Leonor Becerra-Bonache) :
语法推理对计算语言学有何贡献? 21-31 马可·贝尼尼 , 费德里科·戈博 :
算法及其解释。 32-41 斯特凡诺·贝雷塔 , 里卡多·唐迪 :
通过叶片移除和修改进行基因树校正:可牵引性和近似性。 42-52 乌尔里希·伯杰 , 铁厚 :
证明规则的统一模式。 53-62 罗伯特·布里德 , 亨德里克·扬·胡格布姆 :
纤毛虫基因重排引起的图多项式。 63-72 萨宾·布罗达 , 安东尼奥·马基雅维罗 , 内尔马·莫雷拉 , 罗杰里奥·赖斯 :
关于KAT表达式自动机的等价性。 73-83 梅林·卡尔 :
无限时间寄存器机器的算法随机性。 84-92 亨宁·克里斯蒂安森 :
相对时间表达式解析的约束逻辑编程。 93-102 佐尔坦·厄诺·科萨克(Zoltán Erno Csajbók) , 塔马斯·米哈利德亚克 :
具有生成膜边界的膜系统的最大平行性。 103-112 马雷克·沙内基 , Michal Tomasz Godziszewski先生 , 达鲁什·卡洛辛斯基(Dariusz Kalocinski) :
可学习性论文不包含教会论文。 113-122 米歇尔·德·斯梅特 , 安德烈亚斯·魏尔曼 :
与鸽子洞原理相关的相变。 123-132 纳丘姆·德肖维茨 , 叶夫根妮娅·法尔科维奇 :
通用并行算法。 133-142 鲁门·迪米特洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 罗素·G·米勒 , K.J.穆拉德 :
非标准域的同构与Ash猜想。 143-152 戈达娜·多迪格·坎科维奇 :
将生活建模为认知信息计算。 153-162 亚历山德罗·法奇尼 , 亨利克·米查勒夫斯基 :
确定正则树语言的Borel复杂性。 163-172 哈罗德·费勒曼 , 纳塔利奥·克拉斯诺戈尔 :
可寻址反应室中的化学生产和分子计算。 173-182 玛丽贝尔·费尔南德斯 , 赫莱内·基什内尔 , 伊恩·麦基 , 布鲁诺·皮诺 :
复杂系统的可视化建模:面向PORGY的抽象机器。 183-193 恩里科·福门蒂 , 卢卡·曼佐尼 , 安东尼奥·波雷卡 :
反应系统的不动点和吸引子。 194-203 克里斯蒂安·格雷特 , 离子皮特 :
质量-作用反应网络的拟合-保留数据精化。 204-213 查尔斯·哈里斯 :
可计算η型线性序的最大块函数。 214-223 奥斯卡·H·伊巴拉 , 崔策伟 , 哲当 , 托马斯·费舍尔 :
传感器模拟的通信信道损耗。 224-233 克里斯托斯·卡波提斯 :
多项式大小层次中的谓词特征。 234-244 川村昭通 , 阿诺·保利 :
二阶多项式时间的函数空间。 245-254 马丁·库特里布 :
运营问题的复杂性。 255-264 卡塔琳·安娜·拉萨尔 :
分布式网络中基于XACML的访问控制管理的计算模型。 265-274 杰奎琳·莱昂 :
早期机器翻译-计算机和语言科学之间的集成和转换。 275-282 杰克·H·卢茨 , 尼尔·卢茨 :
线缺少每个随机点。 283-292 西蒙·麦格雷戈 :
自然描述与人类偏见:所罗门诺夫归纳法中的现存问题。 293-302 卢多维克·米格诺特 , 纳迪娅·瓦利·塞布蒂 , 杰卢尔·齐亚迪 :
基于k-C连续性的方程树自动机的有效算法。 303-313 罗素·G·米勒 , 里德所罗门 , 丽贝卡·斯坦纳 :
论对称性破缺的有效性。 314-323 村上春树 , 山崎武史 , Keita Yokoyama先生 :
关于Ramseyan因式分解定理。 324-332 卢多维克·佩蒂 :
逆向数学中满意度问题的复杂性。 333-342 詹姆斯·F·鲍尔 :
早期完成算法:Thue 1914年关于符号序列转换的论文。 343-346 普鲁辛基维茨 , 布伦丹巷 , Adam Runions公司 :
度量驱动语法和形态发生(扩展摘要)。 347-351 马蒂亚斯·施罗德 , 维克托·塞利瓦诺夫 :
qcb的超投影层次 0 -共享空间。 352-361 吉尔·斯加尔 :
在线装箱:旧算法和新结果。 362-372 格雷厄姆·怀特 :
忽视多元主义:教会教学论文和哲学实践。 373-382 拉尔斯·维恩布兰特 :
基于FPGA的高性能计算机RIVYERA在生物信息学中的应用。 383-392 克劳迪奥·赞德龙 :
利用膜特征进行计算。 393-402 马吕斯·齐曼德 :
短时间短节目的短名单-简短证明。 403-408
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)