On the realization of linear Boolean operators by straight-line programs with a conditional stop

From MaRDI portal
Publication:4522813