Conferences in DBLP

Annual Symposium on Foundations of Computer Science (FOCS) (focs)
1962 (conf/focs/FOCS3)

1. Angelo Raffaele Meo
   On the minimal third order expression of a Boolean function [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:5-24 [Conf]
   
2. E. W. Samson, Lorenzo Calabi
   Research and algorithms in the theory of Boolean formulas [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:25-32 [Conf]
   
3. Lorenzo Calabi, J. A. Riley
   The algebra of Boolean formulas: Some criteria for minimality [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:33-47 [Conf]
   
4. Eugene L. Lawler
   Minimal Boolean expressions with more than two levels of sums and products [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:49-59 [Conf]
   
5. Calvin C. Elgot, Joseph D. Rutledge
   Machine properties preserved under state minimization [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:61-70 [Conf]
   
6. B. Hazeltine
   A procedure for obtaining an economical asynchronous sequential circuit directly from a set of regular expressions [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:71-79 [Conf]
   
7. Franz E. Hohn
   States of sequential machines whose logical elements involve delay [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:81-89 [Conf]
   
8. Edward J. McCluskey
   Reduction of feedback loops in sequential circuits and carry leads in iterative networks [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:91-102 [Conf]
   
9. Roger E. Levien
   The synthesis of cascade switching circuits [Citation Graph (0, 0)][DBLP]
   FOCS, 1962, pp:103-121 [Conf]
   
10. J. C. Beatty, Raymond E. Miller
    Some theorems for incompletely specified sequential machines with applications to state minimization [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:123-136 [Conf]
    
11. Shmuel Winograd
    Bounded-transient automata [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:137-141 [Conf]
    
12. Shimon Even
    Generalized automata and their information losslessness [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:143-147 [Conf]
    
13. Sheldon B. Akers Jr.
    Synthesis of combinational logic using three-input majority gates [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:149-157 [Conf]
    
14. Philip M. Lewis II, C. L. Coates
    A realization procedure for threshold gate networks [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:159-168 [Conf]
    
15. Saburo Muroga
    Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weight [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:169-184 [Conf]
    
16. Chuen K. Tung
    On some transformation theorems in many-valued logical systems [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:185-199 [Conf]