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

Autoři

BLUMENSATH, Achim (276 Německo, garant, domácí)

Vydání

Logical Methods in Computer Science, Logical Methods in Computer Science e.V. 2021, 1860-5974

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.591

Kód RIV

RIV/00216224:14330/21:00119651

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

000658731000006

Klíčová slova anglicky

algebraic language theory; monads

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2022 07:58, RNDr. Pavel Šmerk, Ph.D.

Anotace

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