Conferences in DBLP

Annual Symposium on Foundations of Computer Science (FOCS) (focs)
1964 (conf/focs/FOCS5)

1. David Hammel
   Ideas on asynchronous feedback networks [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:4-11 [Conf]
   
2. Robert E. Swartwout
   New techniques for designing speed independent control logic [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:12-29 [Conf]
   
3. Jack Goldberg, Robert A. Short
   Antiparallel control logic [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:30-43 [Conf]
   
4. Michael A. Harrison
   A census of finite automata (extended summary) [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:44-46 [Conf]
   
5. Thomas V. Griffiths
   Turing machine recognizers for general rewriting systems [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:47-56 [Conf]
   
6. Seymour Ginsburg, Edwin H. Spanier
   Mappings of languages by two-tape devices [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:57-67 [Conf]
   
7. Patrick C. Fischer
   On formalisms for Turing machines [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:68-75 [Conf]
   
8. Arnold L. Rosenberg
   On n-tape finite state acceptors [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:76-81 [Conf]
   
9. Juris Hartmanis, Richard Edwin Stearns
   Computational complexity of recursive sequences [Citation Graph (0, 0)][DBLP]
   FOCS, 1964, pp:82-90 [Conf]
   
10. Milton W. Green
    A lower bound on Rado's sigma function for binary Turing machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:91-94 [Conf]
    
11. F. C. Hennie
    Fault detecting experiments for sequential circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:95-110 [Conf]
    
12. Edward B. Eichelberger
    Hazard detection in combinational and sequential switching circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:111-120 [Conf]
    
13. J. F. Poage, Edward J. McCluskey
    Derivation of optimum test sequences for sequential machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:121-132 [Conf]
    
14. Bernard Elspas
    Topological constraints on interconnection-limited logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:133-137 [Conf]
    
15. Rocco H. Urbano
    Some new results on the analysis and reliability of large polyfunctional nets [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:138-148 [Conf]
    
16. G. L. Hicks, Arthur J. Bernstein
    On the minimum stage realization of switching functions using logic gates with limited fan-in [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:149-155 [Conf]
    
17. Arthur J. Bernstein
    Reducing variable dependency in combinational circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:156-164 [Conf]
    
18. Sheldon B. Akers Jr.
    A diagrammatic approach to multi-level logic synthesis [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:165-173 [Conf]
    
19. R. Stockton Gaines
    Implication techniques for Boolean functions [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:174-182 [Conf]
    
20. James F. Gimpel
    A reduction technique for prime implicant tables [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:183-191 [Conf]
    
21. Richard Edwin Stearns, Juris Hartmanis
    On the application of pair algebra to automata theory [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:192-196 [Conf]
    
22. Wayne A. Davis, Janusz A. Brzozowski
    On the linearity of sequential machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:197-208 [Conf]
    
23. C. L. Liu
    Sequential-machine realization using feedback shift registers [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:209-227 [Conf]
    
24. D. L. Epley, P. T. Wang
    On state assignments and sequential machine decompositions from S. P. partitions [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:228-233 [Conf]
    
25. Zamir Bavel
    On the total length of an experiment, I [Citation Graph (0, 0)][DBLP]
    FOCS, 1964, pp:234-248 [Conf]