11.CAAP 1986:法国尼斯
保罗·弗朗西·扎内塔奇 以下为:
1986年3月24日至26日,法国尼斯,CAAP’86,第11届代数和编程树学术讨论会,论文集。 计算机科学课堂讲稿 214, 施普林格 1986 ,国际标准图书编号 3-540-16443-X型
语言理论
埃里克·瓦格纳 以下为:
前/后条件的分类处理。 1-5 罗伯特·科里 , 谢尔盖·杜卢克 以下为:
平面地图的色彩与两种语言的平等。 6月16日 乔夫罗伊·博基尔 , 贝特里斯·贝拉德 以下为:
关于同步集的等价性。 17-29
语义代数理论
弗朗西斯科·帕里西(Francesco Parisi-Prescce) 以下为:
模块规范基本操作的内部兼容性和相互兼容性。 30-44岁 亚历克斯·佩林 , 让·盖利尔 以下为:
精确计算序列。 45-59 乔尔赫·斯特凡内斯库 以下为:
流程图方案的代数理论。 60-73
图和语法
米歇尔·鲍德龙 , 布鲁诺·库塞尔 以下为:
图的代数形式主义。 74至84 埃利亚斯·达尔豪斯 , 曼弗雷德·沃穆思 以下为:
成长上下文相关语法的成员是多项式。 85-99 菲利普·德维恩 , 帕特里克·勒贝格 以下为:
加权图:逻辑编程工具。 100-111
程序方案和编程
吉尔伯托·菲尔 以下为:
属性语法的经典和增量求值器。 112-126 阿尔贝托·佩托罗西 以下为:
衍生在线程序的转换策略。 127-141 大卫·德·弗鲁托斯·埃斯克里格 以下为:
概率伊诺夫方案。 142-157
树自动装置和传感器
凯·萨洛马 以下为:
交替自下而上树识别器。 158-171年 拉斐尔·卡萨斯 , Jean-Marc斯特亚特 以下为:
树中的自底向上递归。 172-182 海科·福格勒 以下为:
基本树状传感器。 183-195
树上的概率
菲利普·雅克特 , 米雷尔·雷格尼尔 以下为:
尝试分区过程:限制分配。 196-210 盖·卢查德 以下为:
随机游动、高斯过程和列表结构。 211-224 雷内·斯科特 以下为:
在树上随机漫步。 225-237
计算逻辑
兰·里纳特 , 尼西姆·弗朗西兹 , 奥尔娜·格伦伯格 以下为:
无限的树,标记和良好的基础。 238-253 埃利亚斯·达尔豪斯 , 约翰·马科斯基 以下为:
可计算目录查询。 254-265 安德烈亚·阿斯佩蒂 , 朱塞佩·隆戈 以下为:
关联类型结构:弗里德曼和斯塔特曼主题的部分变奏曲。 266-287 格拉齐娜·米尔科夫斯卡 , 安德烈·萨尔维基 以下为:
算法逻辑的应用。 288-306