E-LIB Suche - Ergebnisse für: Urbat, Henning

1

Bialgebraic Reasoning on Higher-order Program Equivalence:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Goncharov, Sergey ; Milius, Stefan ; Tsampas, Stelios. - p. 1-15 , 2024

Link: https://dl.acm.org/doi/1..

2

Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 I..

Lecture Notes in Computer Science, 14617

König, Barbara ; Urbat, Henning - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

3

Weak Similarity in Higher-Order Mathematical Operational Se..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Urbat, Henning ; Tsampas, Stelios ; Goncharov, Sergey.. - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

4

Towards a Higher-Order Mathematical Operational Semantics:

Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 632-658 , 2023

Link: https://doi.org/10.1145/..

5

Eilenberg's variety theorem without Boolean operations:

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning
Information and Computation. 295 (2023) - p. 104916 , 2023

Link: https://doi.org/10.1016/..

6

Coalgebraic Semantics for Nominal Automata:

, In: Lecture Notes in Computer Science; Coalgebraic Methods in Computer Science,

Frank, Florian ; Milius, Stefan ; Urbat, Henning - p. 45-66 , 2022

Link: https://doi.org/10.1007/..

7

On the behaviour of coalgebras with side effects and algebr..:

Adámek, Jiří ; Milius, Stefan ; Urbat, Henning
Journal of Logic and Computation. 31 (2021) 6 - p. 1429-1481 , 2021

Link: https://doi.org/10.1093/..

8

Reiterman's Theorem on Finite Algebras for a Monad:

Adámek, Jiří ; Chen, Liang-Ting ; Milius, Stefan.
ACM Transactions on Computational Logic. 22 (2021) 4 - p. 1-48 , 2021

Link: https://doi.org/10.1145/..

9

On Language Varieties Without Boolean Operations:

, In: Lecture Notes in Computer Science; Language and Automata Theory and Applications,

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning - p. 3-15 , 2021

Link: https://doi.org/10.1007/..

10

Automata Learning : An Algebraic Approach:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Urbat, Henning ; Schröder, Lutz - p. 900-914 , 2020

Link: https://dl.acm.org/doi/1..

11

Generalized Eilenberg Theorem: Varieties of Languages in a ..:

Adámek, Jiří ; Milius, Stefan ; Myers, Robert S.R..
ACM Transactions on Computational Logic. 20 (2018) 1 - p. 1-47 , 2018

Link: https://doi.org/10.1145/..

12

Generalized Eilenberg Theorem : Varieties of Languages i..:

Adámek, Jiří ; Milius, Stefan ; Myers, Robert S.R..
ACM Transactions on Computational Logic (TOCL). 20 (2018) 1 - p. 1-47 , 2018

Link: https://dl.acm.org/doi/1..

13

On Algebras with Effectful Iteration:

, In: Lecture Notes in Computer Science; Coalgebraic Methods in Computer Science,

Milius, Stefan ; Adámek, Jiří ; Urbat, Henning - p. 144-166 , 2018

Link: https://doi.org/10.1007/..

14

On finitary functors and their presentations:

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S..
Journal of Computer and System Sciences. 81 (2015) 5 - p. 813-833 , 2015

Link: https://doi.org/10.1016/..

15

Varieties of Languages in a Category:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Adamek, Jiri ; Myers, Robert S. R. ; Urbat, Henning. - p. 414-425 , 2015

Link: https://dl.acm.org/doi/1..