Anzahl der Publikationen: 1
Konferenzbeitrag
Hopkins, Mark ORCID: https://orcid.org/0000-0002-1734-6775 und Leiß, Hans ORCID: https://orcid.org/0000-0002-4162-2258
(2023):
Normal Forms for Elements of the*
-continuous Kleene Algebras K⊗RC2′.
20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Technologiezentrum Augsburg, Augsburg, GERMANY, April 03-06, 2023.
Roland, Glück; Luigi, Santocanale und Michael, Winter (Hrsg.):
In: Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings,
Bd. 13896
Cham, Switzerland: Springer. S. 122-139
Diese Liste wurde am
Sat Dec 21 23:37:23 2024 CET
erstellt.