The following pages link to (Q5015279):
Displaying 9 items.
- On the complexity of the quantified bit-vector arithmetic with binary encoding (Q1708270) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems (Q2235760) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- (Q4475142) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- (Q5232899) (← links)
- Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)