Institute of Computer Science, University of Innsbruck, Austria;
机译:字符串重写系统的推导复杂度
机译:地面改写系统的终止证明-解释和派生复杂性
机译:融合的单规则字符串重写系统的终止和派生复杂性
机译:CDipRover3:一种用于证明重写系统的衍生复杂性的工具
机译:术语重写系统和Church-Rosser财产
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:CDIpROVER3:用于证明期权重写系统的衍生完整性的工具
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具