Pages that link to "Item:Q2974794"

The following pages link to Coalgebraic trace semantics via forgetful logics (Q2974794):

Displaying 7 items.

• Coalgebraic logics \& duality (Q1798781) (← links)
• Steps and traces (Q1798791) (← links)
• Iterated covariant powerset is not a monad (Q2134821) (← links)
• (Q5094151) (← links)
• (Q5875346) (← links)
• Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
• Minimisation in logical form (Q6612779) (← links)