15./16. FG 2010/2011:丹麦哥本哈根/斯洛文尼亚卢布尔雅那
菲利普·德格罗特 , 马克·扬·内德霍夫 :
正式语法——第15届和第16届国际会议,2010年8月,丹麦哥本哈根,2011年8月;2011年,斯洛文尼亚卢布尔雅那,2011年9月,修订论文集。 计算机科学课堂讲稿 7395, 施普林格 2012 ,国际标准图书编号 978-3-642-32023-1
2010年正式语法: 投稿论文
阿诺·巴斯滕霍夫 :
Lambek-Grishin演算的极化蒙大哥夫语义。 1-16 丹尼斯·贝切特 , 亚历山大·贾。 迪科夫斯基 , 安妮·福雷特 :
学习迭代依赖的两种模型。 17-32 杰罗恩·布兰森 :
Lambek-Grishin微积分是NP-完全的。 33-49 伯托尔·克里斯曼 :
豪萨岛的恢复和岛屿之家。 50-65岁 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 , 鲍里斯·卡洛夫 :
迭代依赖和Kleene迭代。 66-81 丹尼斯公爵 , Thi-Bich-Hanh刀 , 扬尼克·帕门蒂尔 , 威利·莱萨因特 :
属性语法分析被视为一个约束优化问题。 82-96 托马斯格拉夫 :
通过受控最优性系统将参考集约束作为线性树转换。 97-113 斯科特·马丁 , 卡尔·波拉德 :
超内涵动态语义——用丰富的上下文分析确定性。 114-129 维德拉娜·米哈利塞克 , 卡尔·波拉德 :
区分现象语法和结构语法简化了疑问句的分析。 130-145 格林·莫里尔 , 奥利奥·瓦伦丁 :
广义不连续。 146-161 西尔万·波戈达拉 , 弗洛伦特·蓬皮涅 :
控制抽象分类语法中的提取。 162-177 再见-易 :
复数量词和广义量词。 178-191 吉中良彦 , 亚历山大·克拉克 :
用最少的教师进行多元上下文无关语言的多项式时间学习。 192-207
2011年正式语法: 已投稿论文
托马斯格拉夫 :
最小化派生树语言的局部性和复杂性。 208-227 彼得·霍莫拉 :
为一种综合语言建立形式语法。 228-242 安德拉斯·科尔奈 :
消除双传递。 243-261 斯蒂芬·库兹涅佐夫 :
兰贝克语法与单位。 262-266 汉斯·雷 :
通过类型重建解决多重歧义。 267-286 斯科特·马丁 :
动态语义学中的弱熟悉性和回指可及性。 287-306