重写系统相关论文
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止......
作用于研究对象上的线性算子,在数学研究中起着重要的作用,比如微分代数中的微分算子(它是分析中微分算子的代数化)和Rota-Baxter......
