Nondeterministic \(NC^1\) computation
scientific article; zbMATH DE number 1240650
scientific article