The following pages link to (Q4489064):
Displaying 10 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)
- A theorem prover for Boolean BI (Q2931798) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)
- Proving Valid Quantified Boolean Formulas in HOL Light (Q3088006) (← links)
- (Q4012877) (← links)
- Analysis of Boolean Programs (Q5326327) (← links)
- Automata, Languages and Programming (Q5466546) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)