Algebraic Language Theory for Eilenberg–Moore Algebras

BLUMENSATH, Achim. Algebraic Language Theory for Eilenberg–Moore Algebras. Logical Methods in Computer Science. Logical Methods in Computer Science e.V., 2021, vol. 17, No 2, p. 1-60. ISSN 1860-5974. Available from: https://dx.doi.org/10.23638/LMCS-17(2:6)2021.

Basic information

Original name

Algebraic Language Theory for Eilenberg–Moore Algebras

Authors

BLUMENSATH, Achim (276 Germany, guarantor, belonging to the institution)

Edition

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

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

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

References:

URL

Impact factor

Impact factor: 0.591

RIV identification code

RIV/00216224:14330/21:00119651

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.23638/LMCS-17(2:6)2021

UT WoS

000658731000006

Keywords in English

algebraic language theory; monads

Tags

formela-aut

Tags

International impact, Reviewed

---

Abstract

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'.

---

Links

GA17-01035S, research and development project

Name: Algebraická teorie jazyků pro nekonečné stromy Investor: Czech Science Foundation