Confluence; Non-Joinability; Interpretation; Ordering; Term Rewriting Systems;
机译:术语重写系统的汇合,最内汇合和最外汇合属性
机译:通过重写闭包和正确的术语重写系统来表征汇合
机译:正交术语重写系统在原型验证系统中的融合
机译:通过解释和排序来改善术语重写系统的融合
机译:术语重写系统和Church-Rosser财产
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:有限基础术语重写系统和其他相关术语重写系统的融合的可判定性