Pages that link to "Item:Q960855"
From MaRDI portal
The following pages link to Invariants for parameterised Boolean equation systems (Q960855):
Displaying 8 items.
- Parity game reductions (Q1656552) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- (Q5129943) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)