图重写微积分：合流和 – Rho-Calculus 电子书下载

原名:The graph rewriting calculus: confluence and – Rho-Calculus
作品简介:可以被视为一阶术语图重写的概括，在某种意义上
对于任何术语图重写步骤，相应的重写序列可以……