30 citations · 32 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 30 cited
Formal Theories for Linear Algebra
Stephen A Cook, Lila A Fontes
We introduce two-sorted theories in the style of [CN10] for the complexity classes \oplusL and DET, whose complete problems include determinants over Z2 and Z, respectively. We the…
cs.LO2010★ 2 cited
Formal Theories for Logspace Counting
Lila Fontes
We introduce two-sorted theories in the style of Cook and Nguyen for the complexity classes ParityL and DET, whose complete problems include determinants over GF(2) and Z, respecti…