机译:程序提取应用于单子语法分析
Swansea Univ, Comp Sci, Swansea SA2 8PP, W Glam, Wales;
Swansea Univ, Comp Sci, Swansea SA2 8PP, W Glam, Wales;
Swansea Univ, Comp Sci, Swansea SA2 8PP, W Glam, Wales;
Program extraction; verification; monads; parsing algorithms; natural language processing; termination; left recursion;
机译:程序提取适用于Monadic解析
机译:拟阵的分支宽度,解析树和单子二阶逻辑
机译:Mímico:单声道组合器解析器生成器
机译:将功能逻辑程序转换为Monadic功能程序
机译:使用命名实体标记器和语法解析器来改进基于Web的答案提取
机译:从POS标记到相关性分析以进行生物医学事件提取
机译:程序提取应用于monadic解析