机译:确定并证明确定性条件词重写系统的操作终止
Arbeitsbereich Theoretische Informatik und Logik, Institut fuer Computersprachen, Technische Universitaet Wien, Favoritenstrasse 9 - E185/2, A-1040 Wien. Austria;
rnArbeitsbereich Theoretische Informatik und Logik, Institut fuer Computersprachen, Technische Universitaet Wien, Favoritenstrasse 9 - E185/2, A-1040 Wien. Austria;
conditional term rewriting; operational termination; transforming conditional rewrite systems; collapse extended termination; dependency pair framework;
机译:证明条件项重写系统终止特性的依赖对
机译:条件条款重写系统的运营终止
机译:机械化术语重写系统的弱地终端证明,结构和掩盖集合归纳法
机译:通过从依赖图上消除边来证明约束词重写系统的终止
机译:术语重写系统和Church-Rosser财产
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:确定和证明确定性条件词重写系统的操作终止
机译:条件术语重写系统的模块化特性