Realization of logical functions by vector programs

zbMath0519.68018MaRDI QIDQ1054461

L. Ya. Lapkin

Publication date: 1983

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

zbMATH Keywords

program analysisprogram synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Algebraic decomposition of discrete functions

This page was built for publication: Realization of logical functions by vector programs