Roskilde University, Denmark;
Simon Eraser University, Canada Universidad de Rovira i Virgili, Spain;
机译:使用语法编译的约束逻辑语法的高效处理
机译:SLDNFA:用于归纳逻辑程序的归纳过程
机译:联合语法,蜂窝自动机和逻辑
机译:绑架逻辑语法
机译:使用归纳逻辑编程自动化代谢网络模型的开发
机译:第二语言习得中的多重语法和可学习性逻辑
机译:混合型逻辑语法,一阶线性逻辑和 Lambda语法的描述性不足