变元置换相关硕士博士期刊学术论文

一个变元改名是一个关于变元的置换,一个文字改名是允许某些变元变换到它的补的变元改名,一个同态则是允许不同文字变换到同一文字......