Title | Citations | PageRank | Year |
---|---|---|---|
Skew circuits of small width. | 0 | 0.34 | 2020 |
A Topological Approach to Non-Uniform Complexity | 0 | 0.34 | 2019 |
Linear circuits, two-variable logic and weakly blocked monoids | 8 | 0.67 | 2013 |
Small Depth Proof Systems. | 0 | 0.34 | 2013 |
An effective characterization of the alternation hierarchy in two-variable logic | 5 | 0.46 | 2012 |
Verifying Proofs In Constant Depth | 0 | 0.34 | 2012 |
Streaming algorithms for recognizing nearly well-parenthesized expressions | 4 | 0.38 | 2011 |