Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Natanael Alpay"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semi
Externí odkaz:
https://doaj.org/article/d2ca64c749b944f0991c36a039cdc33b
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030887001
RAMiCS
RAMiCS
A distributive lattice-ordered magma (\(d\ell \)-magma) \((A,\wedge ,\vee ,\cdot )\) is a distributive lattice with a binary operation \(\cdot \) that preserves joins in both arguments, and when \(\cdot \) is associative then \((A,\vee ,\cdot )\) is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7005714acd649ee8a30ad09decc8d5c
https://doi.org/10.1007/978-3-030-88701-8_2
https://doi.org/10.1007/978-3-030-88701-8_2
Autor:
Peter Jipsen, Natanael Alpay
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030435196
RAMiCS
RAMiCS
A commutative doubly-idempotent semiring (cdi-semiring) \((S,\vee ,\cdot ,0,1)\) is a semilattice \((S,\vee ,0)\) with \(x\vee 0 =x\) and a semilattices \((S,\cdot ,1)\) with identity 1 such that \(x0=0\), and \(x(y\vee z)=xy \vee xz \) holds for all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::714b7e48c1a93b20384383bec6723219
https://doi.org/10.1007/978-3-030-43520-2_1
https://doi.org/10.1007/978-3-030-43520-2_1