Pages that link to "Item:Q2891375"
From MaRDI portal
The following pages link to Consistent Consequence for Boolean Equation Systems (Q2891375):
Displaying 6 items.
- Parity game reductions (Q1656552) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra (Q1923377) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- (Q4901740) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)