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.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
WWW 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
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 07:58.
Abstract
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 projectName: Algebraická teorie jazyků pro nekonečné stromy
Investor: Czech Science Foundation
PrintDisplayed: 31/7/2024 02:40