Pages that link to "Item:Q5092378"
From MaRDI portal
The following pages link to Counting of Teams in First-Order Team Logics (Q5092378):
Displaying 5 items.
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Descriptive complexity of \#P functions: a new perspective (Q2220444) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
- Parameterized complexity of weighted team definability (Q6620025) (← links)