85.生日: 鲍里斯·特拉赫滕布罗特 , 2006 / 2008
阿诺·阿夫伦 , 纳丘姆·德肖维茨 , 亚历山大·拉比诺维奇 :
《计算机科学的支柱》,鲍里斯·特拉赫滕布罗特85岁生日致辞。 计算机科学课堂讲稿 4800, 施普林格 2008 ,国际标准图书编号 978-3-540-78126-4 鲍里斯·特拉赫滕布罗特 :
从逻辑到理论计算机科学——更新。 1-38 阿尔伯特·梅耶 :
回忆。 39-45 阿诺·阿夫伦 , 纳丘姆·德肖维茨 , 亚历山大·拉比诺维奇 :
Boris A.Trakhtenbrot:学术谱系和出版物。 46-57 谢尔盖·N·阿特莫夫 :
证明的对称逻辑。 58至71 米哈伊尔·奥古斯顿 , 马克·B·特拉赫滕布罗特 :
反应系统实时分析监视器的合成。 72-86 阿诺·阿夫伦 :
基于静态集合项的集合理论形式化框架。 87-106 马提亚斯·巴兹 , 理查德·扎克 :
一般命题逻辑的有效有限值逼近。 107-129 贾尼斯·巴兹丁斯 , 奥德里斯·卡林斯 , 埃德加斯·伦奇斯 , 谢尔盖斯·里卡科夫斯 :
模型转换语言及其Bootstrapping方法实现。 130-145 本瑟姆 , 池谷大辅 :
模态定点逻辑和变化模型。 146-165 简·A·伯格斯特拉 , 约拉姆·赫什菲尔德 , 约翰·V·塔克 :
字段、草地和抽象数据类型。 166-178年 安德烈亚斯·布拉斯 , 尤里·古雷维奇 :
为什么设置? 179-198 乌迪·博克 , 纳丘姆·德肖维茨 :
任意领域的教会教义论文。 199-229 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 :
广义类别依赖语法。 230-255 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 , 马尔斯·瓦利耶夫 :
概率多智能体系统的时间验证。 256-265 埃尔达·费舍尔 , 约翰·马科斯基 :
图多项式的线性递归关系。 266-279 Rusins Freivalds公司 :
Artin的猜想和有限概率自动机的大小。 280-291 Dov M.Gabbay公司 :
介绍反应Kripke语义和Arc可访问性。 292-341 Moti Gitik公司 , 梅纳希姆·马吉多 :
关于部分基础良好的通用超功率。 342-350 哈雷尔 , 沙哈尔·毛兹 , 伊泰·塞格尔 :
关于LSC表达能力和复杂性的一些结果。 351-366 长谷正彦 , 马丁·霍夫曼 , 戈登·普洛金 :
有限维向量空间对于迹对称单体范畴是完备的。 367-385 迈克尔·卡明斯基 , 陈庆炎 :
无限字母表上的树自动机。 386-423 丹尼尔·莱曼 :
累积逻辑中的连接词。 424-440 丹尼尔·莱万特 :
程序终止的动态逻辑推理。 441至456 列奥尼德·莱文 :
二次范数的宽限:一些例子。 457-459年 伊琳娜·洛马佐娃 :
用于自适应过程建模的嵌套Petri网。 460-474 奥德·马勒 , 德扬·尼科维奇 , 阿米尔·普努利 :
检查离散、定时和连续行为的时间属性。 475-505 安东尼·马祖基维奇(Antoni W.Mazurkiewicz) :
无标记Petri网。 506年至520年 格里戈里造币厂 :
证明搜索树和切割消除。 521-536 瓦莱里·A·内波米纳希 :
改变数据结构元组上的定迭代的符号验证方法及其在指针程序中的应用。 537-554 鲍里斯·普洛金 , 塔贾娜·普罗特金 :
代数上初等集的范畴和初等代数知识的范畴。 555-570 亚历山大·拉比诺维奇 , 阿米特·肖姆拉特 :
一元序数理论中的选择和统一问题:综述。 571-588 沃尔夫冈·雷西格 :
Scholten/Dijkstra圆石游戏直线、分散、在线和反向。 589-595 塞萨尔·桑切斯 , 马蒂奥·斯莱尼娜 , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
反应代数:事件关联的形式语言。 596-619 弗拉基米尔·萨佐诺夫 :
关于自然非dcpo域。 620-634 沃尔夫冈·托马斯 :
丘奇问题与自动机理论之旅。 635-655 莫舍·瓦尔迪 :
从一元逻辑到PSL。 656-681