Universitat Rovira i Virgili, Departament de Filologies Romaniques Avinguda de Catalunya 35, 43002 Tarragona, Spain;
机译:树邻接文法和一元线性无上下文树文法的等价性
机译:正则模糊树文法及其最小化算法
机译:通过抽象分类文法的树邻接文法的语法语义接口
机译:使用模拟最小化加权树语法
机译:使用基于物业的测试,加权语法基因生成器,以及对测试浏览器渲染引擎的共识oracle并重现最小化的现有测试用例版本
机译:基于整数编程的基于树的树压缩方法及其在聚糖树结构模式提取中的应用
机译:使用模拟最小化加权树语法