Pages that link to "Item:Q2172832"
From MaRDI portal
The following pages link to Enumerating teams in first-order team logics (Q2172832):
Displaying 4 items.
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
- Parameterized complexity of weighted team definability (Q6620025) (← links)