Sebastian Gurke | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Lutz Schröder
40 publications
Barbara König
21 publications
Paul Wild
9 publications
Jonas Forster
4 publications
Harsh Beohar
4 publications
Karla Messing
2 publications

research

∙ 07/27/2023

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

Coalgebra, as the abstract study of state-based systems, comes naturally...

0 Jonas Forster, et al. ∙

research

∙ 07/12/2022

Hennessy-Milner Theorems via Galois Connections

We introduce a general and compositional, yet simple, framework that all...

0 Harsh Beohar, et al. ∙

Success!

An error occurred