Fet, Ya. I. Some algorithms for synthesizing schemes of minimal depth. (English. Russian original) Zbl 0209.31303 Synthesis digital Automata, 41-46 (1969); translation from Probl. Sinteza cifr. Avtomat., 48-53 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Citations:Zbl 0191.31001 PDFBibTeX XML