Anthony S. Wojcik

Available identifiers

zbMath Open wojcik.anthony-sMaRDI QIDQ3041090

List of research outcomes

Publication	Date of Publication	Type
A general constructive approach to fault-tolerant design using redundancy	1989-01-01	Paper
Modular decomposition of combinatorial multiple-values circuits	1988-01-01	Paper
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques	1985-01-01	Paper
Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques	1983-01-01	Paper
An Analysis of Some Relationships Between Post and Boolean Algebras	1974-01-01	Paper

Research outcomes over time

This page was built for person: Anthony S. Wojcik