原名:Equational logic and rewriting
作品简介:1 简介。 3 种性质相同的表达式，在数学中通常是数字、向量、函数。 20世纪初，抽象代数、代数逻辑……重写规则的概念留下了线性重写规则，如Dauchet [38]所示。 ELAN 中的策略：功能语义……
资源下载
VIP免费升级VIP
原名:Equational logic and rewriting
作品简介:1 简介。 3 种性质相同的表达式，在数学中通常是数字、向量、函数。 20世纪初，抽象代数、代数逻辑……重写规则的概念留下了线性重写规则，如Dauchet [38]所示。 ELAN 中的策略：功能语义……
