The following pages link to (Q5015279):
Displaying 6 items.
- On the complexity of the quantified bit-vector arithmetic with binary encoding (Q1708270) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- Axiomatizations of team logics (Q2636536) (← 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)
