13 citations · 15 across the 2 of their papers we have counts for
2 papers
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…