Circuit Synthesis by Solving Sequential Boolean Equations
- 1 January 1959
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 5 (14-24) , 291-322
- https://doi.org/10.1002/malq.19590051408
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Some results in church's restricted recursive arithmeticThe Journal of Symbolic Logic, 1957
- The Logic of Automata—Part IJournal of the ACM, 1957
- A Variant to Turing's Theory of Computing MachinesJournal of the ACM, 1957
- Gedanken-Experiments on Sequential MachinesPublished by Walter de Gruyter GmbH ,1956
- Berkeley Edmund C.. The algebra of states and events. The scientific monthly, vol. 78 (1954), pp. 232–242.The Journal of Symbolic Logic, 1955
- A method for synthesizing sequential circuitsBell System Technical Journal, 1955
- Theory of Logical NetsProceedings of the IRE, 1953
- GebietsdeterminantenMathematische Annalen, 1918
- Über Transformationen im GebietekalkülMathematische Annalen, 1913
- Über die Auflösung von Gleichungen im logischen GebietekalkulMathematische Annalen, 1910