Canonicity; Proof orderings; Redundancy; Saturation; Canonical rewriting; Completion;
机译:抽象的规范介绍
机译:通过dcpo演示进行规范扩展和规范性
机译:AACVPR第34届年度会议科学抽象演示文稿摘要
机译:用于抽象视觉和交互设计的规范抽象原型
机译:用于抽象意义代表的多车和DAG自动机
机译:海报展示摘要/创新展示摘要
机译:抽象规范的演讲
机译:多变量系统的辨识与规范和伪规范形式的表示