Conferences in DBLP

Annual Symposium on Foundations of Computer Science (FOCS) (focs)
1970 (conf/focs/FOCS11)

1. Joseph D. Rutledge
   Program Schemata as Automata: Part I [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:7-24 [Conf]
   
2. Alfred V. Aho, Jeffrey D. Ullman
   Equivalence of Programs with Structured Variables [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:25-31 [Conf]
   
3. Robert M. Keller
   On Maximally Parallel Schemata [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:32-50 [Conf]
   
4. David Gale, Richard M. Karp
   A Phenomenon in the Theory of Sorting [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:51-59 [Conf]
   
5. Robert L. Constable, Allan Borodin
   On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract) [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:60-67 [Conf]
   
6. Edward M. Reingold
   On the Optimality of Some Set and Vector Algorithms [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:68-71 [Conf]
   
7. Tiko Kameda
   On the Computational Power of Some Machines with Pushdown-Like Storage [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:72- [Conf]
   
8. Mike Paterson
   Tape-Bounds for Time-Bounded Turing Machines [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:73-75 [Conf]
   
9. Yechezkel Zalcstein
   On Star-Free Events [Citation Graph (0, 0)][DBLP]
   FOCS, 1970, pp:76-80 [Conf]
   
10. Michel Fliess
    Deux applications de la representation matricielle d'une serie rationnelle non commutative [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:81-87 [Conf]
    
11. Aaron Ashkinazy
    Fault Detection Experiments for Asynchronous Sequential Machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:88-96 [Conf]
    
12. Martin A. Fischler, Meyer Tannenbaum
    Synchronizing and Representation Problems for Sequential Machines with Masked Outputs [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:97-103 [Conf]
    
13. Jon G. Bredeson, Paul T. Hulina
    Elimination of Static and Dynamic Hazards in Combinatorial Switching Circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:104-108 [Conf]
    
14. Gyula Magó
    Asynchronous Sequential Circuits with (2,1) Type State Assignments [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:109-113 [Conf]
    
15. Stephen H. Unger
    Asynchronous Sequential Switching Circuits with Unrestricted Input Changes [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:114-121 [Conf]
    
16. Dines Bjørner
    The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:122-132 [Conf]
    
17. David B. Benson
    Syntactic Clues [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:133-138 [Conf]
    
18. Daniel J. Rosenkrantz, Philip M. Lewis II
    Deterministic Left Corner Parsing (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:139-152 [Conf]
    
19. Alexander Birman, Jeffrey D. Ullman
    Parsing Algorithms with Backtrack [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:153-174 [Conf]
    
20. Susan L. Graham
    Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:175-180 [Conf]
    
21. Joseph Alphonso Giuliano
    Writing Stack Acceptors [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:181-193 [Conf]
    
22. Edwin Roger Banks
    Universality in Cellular Automata [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:194-215 [Conf]
    
23. Alvy Ray Smith III
    Cellular Automata and Formal Languages [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:216-224 [Conf]
    
24. Arie Shoshani, Edward G. Coffman Jr.
    Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks [Citation Graph (1, 0)][DBLP]
    FOCS, 1970, pp:225-235 [Conf]
    
25. Bernard P. Zeigler
    Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:236-239 [Conf]