Looking for an analogue of Rice’s theorem in circuit complexity theory (0)

by B Borchert, F Stephan
Venue:Mathematical Logic Quarterly