scientific article; zbMATH DE number 6460020
From MaRDI portal
Publication:5263784
zbMath1324.03001MaRDI QIDQ5263784
Publication date: 17 July 2015
Full work available at URL: http://mathnet.ru/eng/da700
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items
Synthesis of reliable circuits in the basis consisting of the Webb function in \(P_k\), Asymptotically optimal in reliability circuits in two bases under failures of \(0\) \((k-1)\) type at the outputs of elements