1 paper · 1 filter
Álvaro Gutiérrez, Christian Ikenmeyer, Greta Panova
We study the class #L of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in #L.…