Pages that link to "Item:Q5505417"
From MaRDI portal
The following pages link to Calculating Invariants as Coreflexive Bisimulations (Q5505417):
Displaying 6 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- BISON instantiating the whitened swap-or-not construction (Q2292708) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
- On difunctions (Q6113019) (← links)