Robuta

https://git8.cs.fau.de/explore/projects/topics/coalgebraic%20modal%20logic?language=51&sort=created_desc coalgebraic modal logic · Topics · GitLab Chair of Theoretical Computer Science modal logic coalgebraic topics gitlab https://eprints.whiterose.ac.uk/id/eprint/189501/ Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic... side effects predicate relation liftings coalgebras https://git8.cs.fau.de/explore/projects/topics/coalgebraic%20modal%20logic?archived=only&language=30&sort=latest_activity_asc coalgebraic modal logic · Topics · GitLab Chair of Theoretical Computer Science modal logic coalgebraic topics gitlab https://git8.cs.fau.de/explore/projects/topics/coalgebraic%20modal%20logic?language=5&sort=created_asc coalgebraic modal logic · Topics · GitLab Chair of Theoretical Computer Science modal logic coalgebraic topics gitlab