43 citations · 305 across the 30 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 13 cited
Generic Trace Logics
Christian Kissig, Alexander Kurz
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
cs.FL2011★ 2 cited
Towards Nominal Formal Languages
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. M…