Meanings
plural antidomains
- mathematicsThe boolean complement of the domain.
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.
2015, Georg Struth, “On the Expressive Power of Kleene Algebra with Domain”, in arXiv
Origin
Cite this entry
antidomain. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/antidomain
“antidomain.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/antidomain. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “antidomain,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/antidomain.
Source: antidomain on Wiktionary, CC BY-SA 4.0.