13 citations · 13 across the 1 of their papers we have counts for
1 paper
Christian Kissig, Alexander Kurz
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.