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