请输入您要查询的单词:

 

单词 antidomain
释义

antidomain

English

Etymology

anti- + domain

Noun

antidomain (plural antidomains)

  1. (mathematics) The boolean complement of the domain.
    • 2015, Georg Struth, “On the Expressive Power of Kleene Algebra with Domain”, in arXiv:
      It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests.
随便看

 

国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。

 

Copyright © 2004-2023 idict.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/7/31 20:25:33