Abstract
A generalized hypersubstitution of type tau maps each operation symbol of the type to a term of the type, and can be extended to a mapping defined on ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
