The result i-TC0 is a straightforward extension of the corresponding
result for \(\mathbb {Z}\)  [1]}. The statements in
ii-logcfl and iii-NP are less obvious. Recall that
\(\mathsf {LogCFL}\)  is the closure of the context-free languages under logspace
reductions; it is contained in \(\mathsf {NC}^2\) .
