Circuit Synthesis by Solving Sequential Boolean Equations

Mathematical Logic Quarterly 5 (14‐24):291-322 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19590051408

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
Reference, paradoxes and truth.Michał Walicki - 2009 - Synthese 171 (1):195 - 226.
Property {(hbar)} and cellularity of complete Boolean algebras.Miloš S. Kurilić & Stevo Todorčević - 2009 - Archive for Mathematical Logic 48 (8):705-718.
Review: William G. Leavitt, Boolean Algebra and Circuit Analysis. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):62-62.
A 5n− o (n) Lower Bound on the Circuit Size over U 2 of a Linear Boolean Function.Alexander S. Kulikov, Olga Melanich & Ivan Mihajlin - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 432--439.
Sequential discreteness and clopen-I-Boolean classes.Randall Dougherty - 1987 - Journal of Symbolic Logic 52 (1):232-242.
Knowledge synthesis and problem solving.Robert Rich - 1983 - In Spencer A. Ward & Linda J. Reed (eds.), Knowledge Structure and Use: Implications for Synthesis and Interpretation. Temple University Press. pp. 285--312.
Review: O. B. Lupanov, On a Method of Circuit Synthesis. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (4):593-594.
A machine for solving numerical equations. [REVIEW]T. J. McC - 1896 - The Monist 7 (1):156 - 157.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Review: Frantisek Svoboda, An Indeterminate Two-Valued Boolean Function; Frantisek Svoboda, The Use of Indeterminate Two-Valued Boolean Functions for the Synthesis of Switching Circuits. [REVIEW]Paweł Szeptycki - 1957 - Journal of Symbolic Logic 22 (1):99-100.
Review: Ralph M. Toms, Systems of Boolean Equations. [REVIEW]William Wernick - 1967 - Journal of Symbolic Logic 32 (1):132-133.

Analytics

Added to PP
2013-11-24

Downloads
6 (#1,452,758)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some results in church's restricted recursive arithmetic.Joyce Friedman - 1957 - Journal of Symbolic Logic 22 (4):337-342.
The Algebra of States and Events.Edmund C. Berkeley - 1955 - Journal of Symbolic Logic 20 (3):286-287.

Add more references