机译:在有限的完整重写系统上,有限的推导类型和齐整半体式的自动性
Centra de Matematica e Aplicacoes, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;
School of Mathematics, University of East Anglia, Norwich NR4 7TJ, United Kingdom;
Departamento de Matematica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Portugal;
Homogeneous monoid; Presentation; Rewriting system; Homotopy; Finite derivation type; Automatic; Biautomatic;
机译:有限完整的重写系统和有限推导类型,可用于小部分类的扩展
机译:完全重写系统呈现的长单套样品的新颖性条件(Craig-C.-Squier之后)
机译:有限特殊字符串重写系统的单调表示
机译:有限Coxeter类型的奇异Artin id半群是自动的
机译:全面的均匀奇点和模态衍生物的完全无协调
机译:通过传递Krull单面体中的长度集来刻画有限阿贝尔群
机译:在有限的完整重写系统上,有限的推导类型和齐整半体式的自动性