Conferences in DBLP

Annual Symposium on Foundations of Computer Science (FOCS) (focs)
1976 (conf/focs/FOCS17)

1. Ronald L. Rivest, Vaughan R. Pratt
   The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:1-8 [Conf]
   
2. Peter B. Henderson, Yechezkel Zalcstein
   Characterization of the Synchronization Languages for PV Systems [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:9-18 [Conf]
   
3. Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz
   Concurrency Control for Database Systems [Citation Graph (36, 0)][DBLP]
   FOCS, 1976, pp:19-32 [Conf]
   
4. Anita K. Jones, Richard J. Lipton, Lawrence Snyder
   A Linear Time Algorithm for Deciding Security [Citation Graph (1, 0)][DBLP]
   FOCS, 1976, pp:33-41 [Conf]
   
5. Rodney Farrow, Ken Kennedy, Linda Zucconi
   Graph Grammars and Global Program Data Flow Analysis [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:42-56 [Conf]
   
6. Peter J. Downey, Ravi Sethi
   Assignment Commands and Array Structures [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:57-66 [Conf]
   
7. Andrew Chi-Chih Yao, Ronald L. Rivest
   k+1 Heads Are Better than k [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:67-70 [Conf]
   
8. Theodore P. Baker, Alan L. Selman
   A Second Step toward the Polynomial Hierarchy [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:71-75 [Conf]
   
9. Leonard Berman
   On the Structure of Complete Sets: Almost Everywhere Complexity and Infinitely Often Speedup [Citation Graph (0, 0)][DBLP]
   FOCS, 1976, pp:76-80 [Conf]
   
10. Leonard M. Adleman, Kenneth L. Manders
    Diophantine Complexity [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:81-88 [Conf]
    
11. Dexter Kozen
    On Parallelism in Turing Machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:89-97 [Conf]
    
12. Ashok K. Chandra, Larry J. Stockmeyer
    Alternation [Citation Graph (1, 0)][DBLP]
    FOCS, 1976, pp:98-108 [Conf]
    
13. Vaughan R. Pratt
    Semantical Considerations on Floyd-Hoare Logic [Citation Graph (4, 0)][DBLP]
    FOCS, 1976, pp:109-121 [Conf]
    
14. Daniel J. Lehmann
    Categories for Fixpoint-Semantics [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:122-126 [Conf]
    
15. Laurian M. Chirica, David F. Martin
    An Algebraic Formulation of Knuthian Semantics [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:127-136 [Conf]
    
16. Bruno Courcelle, Maurice Nivat
    Algebraic Families of Interpretations [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:137-146 [Conf]
    
17. Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
    Rational Algebraic Theories and Fixed-Point Solutions [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:147-158 [Conf]
    
18. Emily P. Friedman
    Simple Languages and Free Schemes [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:159-165 [Conf]
    
19. Brian Allen, J. Ian Munro
    Self-Organizing Binary Search Trees [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:166-172 [Conf]
    
20. Andrew Chi-Chih Yao, F. Frances Yao
    The Complexity of Searching an Ordered Random Table (Extended Abstract) [Citation Graph (2, 0)][DBLP]
    FOCS, 1976, pp:173-177 [Conf]
    
21. Frank Fussenegger, Harold N. Gabow
    Using Comparison Trees to Derive Lower Bounds for Selection Problems [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:178-182 [Conf]
    
22. Leonidas J. Guibas
    The Analysis of Hashing Algorithms that Exhibit k-ary Clustering [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:183-196 [Conf]
    
23. Douglas Comer, Ravi Sethi
    Complexity of Trie Index Construction (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:197-207 [Conf]
    
24. Michael Ian Shamos, Dan Hoey
    Geometric Intersection Problems [Citation Graph (3, 0)][DBLP]
    FOCS, 1976, pp:208-215 [Conf]
    
25. Greg N. Frederickson, Matthew S. Hecht, Chul E. Kim
    Approximation Algorithms for some Routing Problems [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:216-227 [Conf]
    
26. Jan van Leeuwen
    Variations of a New Machine Model [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:228-235 [Conf]
    
27. Zvi Galil, Joel I. Seiferas
    Recognizing Certain Repetitions and Reversals Within Strings [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:236-252 [Conf]
    
28. Luc Boasson, Maurice Nivat
    Parenthesis Generators [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:253-257 [Conf]
    
29. Nicholas Pippenger
    On the Evaluation of Powers and Related Problems (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:258-263 [Conf]
    
30. David A. Plaisted
    Some Polynomial and Integer Divisibility Problems Are NP-Hard [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:264-267 [Conf]
    
31. Michael Ian Shamos, Gideon Yuval
    Lower Bounds from Complex Function Theory [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:268-273 [Conf]