×
阿诺德·贝克曼（编辑）；科斯塔斯Dimitracopoulos（编辑）；Löwe，Benedikt公司（编辑）

算法的逻辑和理论。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。 （英语） Zbl 1137.68002号

计算机科学课堂讲稿5028.柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。xix，596页。(2008).

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

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1119.68004号).
索引文章：
丹尼尔·安德森；汉森，克里斯托弗·阿恩斯费尔特；彼得·布罗（Peter Bro Miltersen）；索伦森，特洛伊斯·比杰尔，决定论图形游戏重温，1-10[Zbl 1142.91374号]
Arratia，Argimiro；伊恩·斯图尔特（Iain A.Stewart）。，具有深层下推存储的程序方案，11-21[Zbl 1142.68346号]
马提亚斯·巴兹；乔治·梅特卡夫，Herbrand定理和prenex模糊逻辑的Skolemization，22-31[Zbl 1142.03340号]
谢尔盖·巴本尼舍夫；弗拉基米尔·雷巴科夫，基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性，32-41[Zbl 1142.03323号]
马蒂亚斯·巴拉、纯迭代和周期性。关于一些小型子递归类的注释，42-51[Zbl 1142.03349号]
Beggs，E.J。；J.V.塔克。，牛顿运动机器的编程实验程序，52-66[Zbl 1143.68015号]
阿米尔·本·阿姆拉姆（Amir M.Ben-Amram）。；尼尔·D·琼斯（Neil D.Jones）。；克里斯蒂安森，拉尔斯线性、多项式还是指数？多项式时间中的复杂性推理，67-76[Zbl 1142.68369号]
安德烈亚·布雷亚德，一个来自11世纪中国的求和算法。结构和论点之间的可能关系，77-83[Zbl 1143.01300号]
迈克尔·布劳；科乌萨诺夫，巴哈迪尔；彼得·纳尔逊，序列自动代数，84-93[Zbl 1143.08004号]
丹·布朗（Dan Browne）；珍妮特·安德斯，经典计算在基于测量的量子计算中的作用，94-99[Zbl 1142.68347号]
杰雷米·卡贝萨；雅克·杜帕克，瓦格纳等级的代数对应物，100-109[Zbl 1143.68047号]
马泰奥·卡瓦利埃，通过观察计算：简要调查，110-119[Zbl 1142.68348号]
马蒂亚斯·克里斯坦德，霍恩问题与Littlewood-Richardson系数之间关系的量子信息理论证明，120-128[Zbl 1143.81002号]
Cornaros、Charalampos，Pell方程和弱正则性原理，129-138[Zbl 1143.03029号]
巴巴拉·F·卡西玛。；科乌萨诺夫，巴哈迪尔；刘嘉谋，有限元图的可计算范畴，139-148[Zbl 1142.03344号]
埃兹贝特·苏哈伊·瓦尔朱，P自动机：膜系统作为受体，149-151[Zbl 1142.68349号]
君士坦丁·达斯卡拉基斯，在我们玩的大型游戏中计算平衡，154-157[Zbl 1142.91316号]
De Mol，Liesbeth；马滕·布林克，为期一周：ENIAC上的第一次大规模理论计算，158-167[Zbl 1142.11301号]
米歇尔·德·斯梅特；安德烈亚斯·魏尔曼，弱递增序列的相变，168-174[Zbl 1143.03020号]
乔瓦尼·迪克雷森佐；海尔格尔·利帕，来自可提取性假设的简洁NP证明，175-185[Zbl 1142.68370号]
雅克·杜帕克（Jacques Duparc）；亚历山德罗·法奇尼，描述了\（\mu\）-微积分的无交替片段的Wadge层次结构。I.以下水平，186-195年[Zbl 1142.03338号]
威廉·L·福凯。，识别偏序集Ramsey结构的次递归复杂性，196-205[Zbl 1142.03350号]
雨果·金伯特（Hugo Gimbert）；霍恩，弗洛里安，求解简单随机博弈，206-209[Zbl 1142.91332号]
克里斯蒂安·格拉（Christian Glaßer）；克里斯蒂安·赖特维纳（Christian Reitwießner）；维克托·塞利瓦诺夫，NP和coNP的收缩性质，210-220[Zbl 1143.68017号]
Gonen，哥斯达黎加，关于多维约束下真实在线拍卖的难度，221-230[Zbl 1142.91481号]
顾晓阳；杰克·卢茨。，有效尺寸和相对频率，231-240[Zbl 1142.68343号]
伊曼纽尔·海因里，线性动力系统的可达性，241-250[Zbl 1142.93314号]
赫内斯特、Mircea-Dan；保罗·奥利瓦，混合函数解释，251-260[Zbl 1142.03368号]
耶斯·Höyrup算法概念——历史解释工具还是转移注意力？，261-272 [Zbl 1143.01008号]
加布里埃尔·伊斯特拉特（Gabriel Istrate）；马达夫五世（Madhav V.Marathe）。；拉维，S.S。，范数扩散博弈理论模型的对抗调度分析，273-282[Zbl 1142.91370号]
马尔钦·尤尔季安斯基；拉胡尔·萨瓦尼，折扣对策的简单P-矩阵线性互补问题，283-293[兹比尔1142.91307]
Temesghen Kahsai；马里诺·米库兰，使用标称技术实现spi演算，294-305[Zbl 1142.68445号]
彼得·科普克（Peter Koepke）；罗素·米勒，无限时间寄存器机的增强理论，306-315[Zbl 1142.03347号]
安东尼娜·科洛科洛娃，逻辑复杂性的许多方面，316-325[Zbl 1142.03348号]
克里希纳、桑卡拉·纳拉亚南；加布里埃尔·乔巴努，关于增强型移动膜的计算能力，326-335[Zbl 1142.68355号]
克里斯蒂安森，拉尔斯，高等类型和资源受限图灵机中的递归，336-348[Zbl 1142.03359号]
詹姆斯·拉思罗普（James I.Lathrop）。；杰克·H·卢茨。；Matthew J.Patitz。；斯科特·萨默斯。，自组装中的可计算性和复杂性，349-358[Zbl 1142.68352号]
皮埃尔·勒图泽伊，《Coq中的提取：概述》，359-369[Zbl 1142.68498号]
刘江；吴国华，连接到高位，370-378[Zbl 1143.03021号]
爱丽丝·勒布，分解直觉主义定理：连续性原理和一致连续性定理，379-388[Zbl 1143.03030号]
约翰·朗利，使用更高类型的运算符解释局部计算效果，389-402[Zbl 1142.03360号]
Makowsky，J.A。，参数化数值图不变量之间的一致代数可约性，403-406[Zbl 1142.68459号]
拉克希米·马纳萨；克里希纳、桑卡拉·纳拉亚南；库马尔·纳加拉杰，具有加性和对角线约束的可更新时间自动机，407-416[Zbl 1142.68426号]
巴纳比·马丁，模型参数化的一阶模型检查问题，417-427[兹比尔1142.68439]
凯伊·马丁；帕南加登，普拉卡什，领域理论与时空因果结构，428-430[兹比尔1142.06305]
拉尔夫·马提斯，依赖类型理论中嵌套数据类型的递归，431-446[Zbl 1142.68441号]
米勒，拉塞尔；达斯汀·穆尔卡希，完美的本地可计算性和可计算模拟，447-456[Zbl 1142.03362号]
内莫托、高子，二阶算术的完全确定性和子系统，457-466[Zbl 1142.03370号]
达格·诺曼，连续泛函层次的内部密度定理，467-475[Zbl 1142.03358号]
尼古拉斯·奥林格，两个替代系统和多米诺骨牌问题的不可判定性，476-485[Zbl 1142.03357号]
劳伦斯·C·鲍尔森。，选择公理的相对一致性——使用Isabelle/ZF实现机械化，486-490[Zbl 1142.03332号]
谢尔盖·波佐罗夫，多度上半格，491-497[Zbl 1142.03352号]
科林·里巴，正交构造函数重写的可约候选联合，498-510[Zbl 1142.03336号]
彼得·里希特（Peter C.Richter）。，马尔可夫链蒙特卡罗的量子复杂性，511-522[Zbl 1142.68375号]
马修·萨布利克；他们是纪尧姆，2D细胞自动机的拓扑动力学，523-532[Zbl 1142.37304号]
维克托·塞利瓦诺夫（Victor L.Selivanov）。；克劳斯·瓦格纳。，正则语言拓扑性质的非周期复杂性，533-543[Zbl 1143.68039号]
亚历山德拉·A·索斯科娃。，（ω）-度谱，544-553[Zbl 1142.03355号]
玛丽亚·伊万诺娃·索斯科娃，（Sigma^0_2）枚举度的杯突类，554-566[Zbl 1142.03356号]
丹尼尔·利马，文图拉；毛里西奥·阿亚拉·林科；法鲁兹卡马雷丁，显式替换计算的主要类型，567-578[Zbl 1142.03337号]
吉里维德曼；范·列文（Jan van Leeuwen），我们如何看待当今的计算，579-593[兹比尔1142.68353]

引用于5评论
引用于1文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
68季度xx 计算理论
68瓦xx 计算机科学中的算法
00B25型 杂项特定利益的会议记录

引文：

Zbl 1119.68004号

软件：

Coq公司；伊莎贝尔/采埃孚
PDF格式BibTeX公司 XML格式引用
\textit{A.Beckmann}（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年CiE，希腊雅典，2008年6月15-20日。诉讼程序。柏林：施普林格出版社（2008；Zbl 1137.68002）
全文： 内政部