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

1

Logical Predicates in Higher-Order Mathematical Operational..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Goncharov, Sergey ; Santamaria, Alessio ; Schröder, Lutz.. - p. 47-69 , 2024

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

2

Monoidal Extended Stone Duality:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Birkmann, Fabian ; Urbat, Henning ; Milius, Stefan - p. 144-165 , 2024

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

3

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/..

4

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/..

5

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/..

6

Coalgebraic Semantics for Nominal Automata:

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

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

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

7

On Language Varieties Without Boolean Operations:

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

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

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

8

Nondeterministic Syntactic Complexity:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Myers, Robert S. R. ; Milius, Stefan ; Urbat, Henning - p. 448-468 , 2021

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

9

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/..

10

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/..

11

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..

12

Equational Axiomatization of Algebras with Structure:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Milius, Stefan ; Urbat, Henning - p. 400-417 , 2019

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

13

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/..

14

On Algebras with Effectful Iteration:

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

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

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

15

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..