Pages that link to "Item:Q4634922"
From MaRDI portal
The following pages link to Witnessing matrix identities and proof complexity (Q4634922):
Displaying 3 items.
- Witnesses for Boolean matrix multiplication and for transitive closure (Q1260654) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)