Pages that link to "Item:Q2029599"
From MaRDI portal
The following pages link to Safe dependency atoms and possibility operators in team semantics (Q2029599):
Displaying 6 items.
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Compositionality of safe communication in systems of team automata (Q2037944) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- (Q3384878) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
- Safe Dependency Atoms and Possibility Operators in Team Semantics (Q6304937) (← links)