A Coalgebraic Approach to Linear-Time Logics.

Corina Crstea

Browse the full FOSSACS paper archive.