The following pages link to (Q4489064):
Displayed 4 items.
- Complexity of fixed-size bit-vector logics (Q504997) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Sprague-Grundy theory in bounded arithmetic (Q2118177) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)