Pages that link to "Item:Q5410688"
From MaRDI portal
The following pages link to A Coalgebraic Approach to Linear-Time Logics (Q5410688):
Displayed 7 items.
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Steps and traces (Q1798791) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q5014445) (← links)
- (Q5020522) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- (Q5875398) (← links)