Warning: Undefined variable $resultados in /home/enciclo/public_html/dictious.com/search.php on line 17
Kleene_algebra - Dictious

10 Results found for " Kleene_algebra"

Kleene algebra

article on: <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Wikipedia Named for Stephen Cole <span class="searchmatch">Kleene</span>. <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> (plural <span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span>) (<span class="searchmatch">algebra</span>) A De Morgan <span class="searchmatch">algebra</span> which also satisfies...


Kleene algebras

<span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span> plural of <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span>...


Ockham algebra

endomorphism (where “dual” means that it satisfies De Morgan’s laws). distributive lattice Boolean <span class="searchmatch">algebra</span> De Morgan <span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Stone <span class="searchmatch">algebra</span>...


antidomain

of <span class="searchmatch">Kleene</span> <span class="searchmatch">Algebra</span> with Domain”, in arXiv‎[1]: It is shown that antidomain semirings are more expressive than test semirings and that <span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span> with...


Boolean algebra

study of such <span class="searchmatch">algebras</span>; Boolean logic, classical logic. (Specifically ...): switching <span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> De Morgan <span class="searchmatch">algebra</span> Ockham <span class="searchmatch">algebra</span> distributive...


De Morgan algebra

lattice of a De Morgan <span class="searchmatch">algebra</span> form a Boolean sublattice. 2000, Luo Congwen, Topological De Morgan <span class="searchmatch">Algebras</span> and <span class="searchmatch">Kleene</span>-Stone <span class="searchmatch">Algebras</span>: The Journal of Fuzzy...


algebra

Hopf <span class="searchmatch">algebra</span> Hurwitz <span class="searchmatch">algebra</span> hyperalgebra Iwahori-Hecke <span class="searchmatch">algebra</span> Jordan <span class="searchmatch">algebra</span> Kac-Moody <span class="searchmatch">algebra</span> k-<span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Leibniz <span class="searchmatch">algebra</span> Lie <span class="searchmatch">algebra</span> linear...


free monoid

monoid Wikipedia free monoid (plural free monoids) (<span class="searchmatch">algebra</span>) A monoid whose underlying set is the <span class="searchmatch">Kleene</span> closure of some set of generators, and whose operator...


lambda calculus

called ‘Turing machines’ as a model for computation, Church and his student <span class="searchmatch">Kleene</span> were developing a different model, called the ‘lambda calculus’ [29, 63]...


free group

{\displaystyle (S\cup S^{-1})^{*}} be the <span class="searchmatch">Kleene</span> closure of the union of those two sets. For any string w in the <span class="searchmatch">Kleene</span> closure let r(w) be its reduced form...