:Representation of Sequential Circuits in Combinatory Logic

Journal of Symbolic Logic 30 (3):380-380 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269652

Links

PhilArchive



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

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

Representation of sequential circuits in combinatory logic.Frederic B. Fitch - 1958 - Philosophy of Science 25 (4):263-279.
Review: Frederic B. Fitch, (Sintez cifrovyh avtomatov):Representation of Sequential Circuits in Combinatory Logic. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380-380.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Algebraic Simplification of Redundant Sequential Circuits.Frederic B. Fitch - 1975 - Journal of Symbolic Logic 40 (4):615-615.
Review: Frederic B. Fitch, Algebraic Simplification of Redundant Sequential Circuits. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (4):615-615.
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Fitch Frederic B.. Algebraic simplification of redundant sequential circuits. Synthese, vol. 15 , pp. 155–166. Reprinted in Form and strategy in science, Dordrecht 1964, pp. 191-202. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (4):615-615.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Algebraic simplification of redundant sequential circuits.Frederic B. Fitch - 1963 - Synthese 15 (1):155 - 166.
Combinational and Sequential Logic: A Hands-on Approach Using Programmable Logic.Martin Rice - 2001
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.
The Synthesis of Sequential Switching Circuits.D. A. Huffman - 1955 - Journal of Symbolic Logic 20 (1):69-70.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,510,250)

6 months
1 (#1,510,037)

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

No references found.

Add more references