Domain semirings united

Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive latti...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Fahrenberg Uli
Johansen Christian
Struth Georg
Ziemiański Krzysztof
Testületi szerző: Conference of PhD Students in Computer Science (12.) (2020) (Szeged)
Dokumentumtípus: Cikk
Megjelent: University of Szeged, Institute of Informatics Szeged 2022
Sorozat:Acta cybernetica 25 No. 3
Kulcsszavak:Számítástechnika
Tárgyszavak:
doi:10.14232/actacyb.291111

Online Access:http://acta.bibl.u-szeged.hu/75624
LEADER 01417nab a2200277 i 4500
001 acta75624
005 20220513091328.0
008 220513s2022 hu o 0|| eng d
022 |a 0324-721X 
024 7 |a 10.14232/actacyb.291111  |2 doi 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Fahrenberg Uli 
245 1 0 |a Domain semirings united  |h [elektronikus dokumentum] /  |c  Fahrenberg Uli 
260 |a University of Szeged, Institute of Informatics  |b Szeged  |c 2022 
300 |a 575-583 
490 0 |a Acta cybernetica  |v 25 No. 3 
520 3 |a Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika 
700 0 1 |a Johansen Christian  |e aut 
700 0 1 |a Struth Georg  |e aut 
700 0 1 |a Ziemiański Krzysztof  |e aut 
710 |a Conference of PhD Students in Computer Science (12.) (2020) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/75624/1/cybernetica_025_numb_003_575-583.pdf  |z Dokumentum-elérés