...
【24h】

Monoids of ND-Full Hypersubstitutions

机译:的独异点ND-Full Hypersubstitutions

获取原文
获取原文并翻译 | 示例
           

摘要

An nd-full hypersubstitution maps any operation symbols to the set of full terms of type τn. Nd-full hypersubstitutions can be extended to mappings which map sets of full terms to sets of full terms. The aims of this paper are to show that the extension of an nd-full hypersubstitution is an endomorphism of some clone and that the set of all nd-full hypersubstitutions forms a monoid.
机译:一个nd-full hypersubstitution地图任何操作套完整的术语的符号类型τn。Nd-full hypersubstitutions可以扩展映射的映射集的完整的术语集完整的条款。nd-full的扩展hypersubstitution自同态的一些克隆,所有nd-full的集合hypersubstitutions独异点。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号