2023
The Power-Set Construction for Tree Algebras
BLUMENSATH, AchimZákladní údaje
Originální název
The Power-Set Construction for Tree Algebras
Autoři
Vydání
LOGICAL METHODS IN COMPUTER SCIENCE, GERMANY, LOGICAL METHODS COMPUTER SCIENCE E V, 2023, 1860-5974
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 0.600
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/23:00133773
Organizační jednotka
Fakulta informatiky
UT WoS
EID Scopus
Klíčová slova anglicky
tree algebras; power-set functor; distributive law
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 7. 4. 2024 23:47, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear. For non-linear ones, we prove that such a distributive law does not exist.
