Detailed Information on Publication Record
2021
Algebraic Language Theory for Eilenberg–Moore Algebras
BLUMENSATH, AchimBasic 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:
Impact factor
Impact factor: 0.591
RIV identification code
RIV/00216224:14330/21:00119651
Organization unit
Faculty of Informatics
UT WoS
000658731000006
Keywords in English
algebraic language theory; monads
Tags
Tags
International impact, Reviewed
Změněno: 28/4/2022 07:58, RNDr. Pavel Šmerk, Ph.D.
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 |
|