LIAFA, CNRS and University Paris Diderot;
IITP, Russian Academy of Science;
机译:术语重写系统引起的两个重写关系的自反传递闭合的交点
机译:通过重写闭包和正确的术语重写系统来表征汇合
机译:基于变窄的有效重写及其对带有额外变量的术语重写系统的终止
机译:衰减监管作为重写系统的术语
机译:术语重写系统和Church-Rosser财产
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:衰减规则作为术语重写系统
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具