Complexity bounds on program realizations of Boolean functions specified in various forms
From MaRDI portal
Publication:1101067
zbMath0641.94031MaRDI QIDQ1101067
Publication date: 1987
Published in: Automation and Remote Control (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Complexity bounds on program realizations of Boolean functions specified in various forms