Pages that link to "Item:Q2123053"
From MaRDI portal
The following pages link to Behavioural logics for configuration structures (Q2123053):
Displaying 6 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- Logic-based configuration with a semantic network (Q3198928) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)