Use of partial substitutions for time decomposition of Boolean functions and generalized graph schemes of algorithms

From MaRDI portal
Publication:800318