Další formáty:
BibTeX
LaTeX
RIS
@article{1834747, author = {Blumensath, Achim}, article_number = {2}, doi = {http://dx.doi.org/10.23638/LMCS-17(2:6)2021}, keywords = {algebraic language theory; monads}, language = {eng}, issn = {1860-5974}, journal = {Logical Methods in Computer Science}, title = {Algebraic Language Theory for Eilenberg–Moore Algebras}, url = {https://lmcs.episciences.org/7364}, volume = {17}, year = {2021} }
TY - JOUR ID - 1834747 AU - Blumensath, Achim PY - 2021 TI - Algebraic Language Theory for Eilenberg–Moore Algebras JF - Logical Methods in Computer Science VL - 17 IS - 2 SP - 1-60 EP - 1-60 PB - Logical Methods in Computer Science e.V. SN - 18605974 KW - algebraic language theory KW - monads UR - https://lmcs.episciences.org/7364 N2 - 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'. ER -
BLUMENSATH, Achim. Algebraic Language Theory for Eilenberg–Moore Algebras. \textit{Logical Methods in Computer Science}. Logical Methods in Computer Science e.V., 2021, roč.~17, č.~2, s.~1-60. ISSN~1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-17(2:6)2021.
|