Tunable binary procedures and programs with loops

zbMath0564.94015MaRDI QIDQ1058504

V. L. Artyukhov, A. A. Shalyto, B. P. Kuznetsov

Publication date: 1984

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

complexity boundsevaluation of a system of Boolean formulasprogram realization of systems of Boolean functions

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Tunable binary procedures and programs with loops