J
2021
Algebraic Language Theory for Eilenberg–Moore Algebras
BLUMENSATH, Achim
Základní údaje
Originální název
Algebraic Language Theory for Eilenberg–Moore Algebras
Vydání
Logical Methods in Computer Science, Logical Methods in Computer Science e.V. 2021, 1860-5974
Další údaje
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.591
Kód RIV
RIV/00216224:14330/21:00119651
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
algebraic language theory; monads
Příznaky
Mezinárodní význam, Recenzováno
V originále
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'.
Návaznosti
| GA17-01035S, projekt VaV | | Název: Algebraická teorie jazyků pro nekonečné stromy | | Investor: Grantová agentura ČR, Algebraic Language Theory for Infinite Trees |
|
Zobrazeno: 12. 11. 2024 14:59