4. FOCS 1963

• David E. Muller: Infinite sequences and finite machines. 3-16 BibTeX
• Calvin C. Elgot, Jorge E. Mezei: Two-sided finite-state transductions (abbreviated version). 17-22 BibTeX
• Patrick C. Fischer: On computability by certain classes of restricted Turing machines. 23-32 BibTeX
• W. D. Frazer: Bilateral threshold nets (extended summary). 33-39 BibTeX
• C. L. Coates, Philip M. Lewis II: Threshold gate realizations of logical functions with don't cares. 41-52 BibTeX
• Richard F. Arnold, Eugene L. Lawler: On the analysis of functional symmetry. 53-62 BibTeX
• Eugene L. Lawler: The minimal synthesis of tree structures. 63-82 BibTeX
• Roger E. Levien: Determining the best ordering of variables in cascade switching circuits. 83-104 BibTeX
• Edward B. Eichelberger: Sequential circuit synthesis using input delays. 105-116 BibTeX
• Robert McNaughton: Finite automata and badly timed elements. 117-130 BibTeX
• Theodore M. Booth: Demonstrating hazards in sequential relay circuits. 131-136 BibTeX
• Edward J. McCluskey: Logical design theory of NOR gate networks with no complemented inputs. 137-148 BibTeX
• Raymond E. Miller: A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits. 149-152 BibTeX