![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 3
2023
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
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
2022
Leiß, Hans ORCID: https://orcid.org/0000-0002-4162-2258
(2022):
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. Special issue 6: S. 685-728
[PDF, 779kB]
ORCID: https://orcid.org/0000-0002-4162-2258
(2022):
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. Special issue 6: S. 685-728
[PDF, 779kB]
2016
Leiß, Hans und Wu, Shuqian
(2016):
Type Reconstruction for λ-DRT Applied to Pronoun Resolution.
In: Amblard, Maxime; Groote, Philippe de; Pogodalla, Sylvain und Retoré, Christian (Hrsg.):
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016); 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Lecture Notes in Computer Science, Bd. 10054. Berlin, Heidelberg: Springer. S. 149-174