The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on the Theory of Computing (STOC) (stoc)
1978 (conf/stoc/STOC10)

  1. Nimrod Megiddo
    Combinatorial Optimization with Rational Objective Functions [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:1-12 [Conf]
  2. George S. Lueker
    Maximization Problems on Graphs with Edge Weights Chosen from a Normal Distribution (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:13-18 [Conf]
  3. Mark R. Brown, Robert Endre Tarjan
    A Representation for Linear Lists with Movable Fingers [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:19-29 [Conf]
  4. James A. Storer, Thomas G. Szymanski
    The Macro Model for Data Compression (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:30-39 [Conf]
  5. Andrea S. LaPaugh, Ronald L. Rivest
    The Subgraph Homeomorphism Problem [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:40-50 [Conf]
  6. Gary L. Miller
    On the n^log n Isomorphism Technique: A Preliminary Report [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:51-58 [Conf]
  7. Larry Carter, Robert W. Floyd, John Gill, George Markowsky, Mark N. Wegman
    Exact and Approximate Membership Testers [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:59-65 [Conf]
  8. Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki
    Tree Transducers, L Systems and Two-Way Machines (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:66-74 [Conf]
  9. Jean-Claude Raoult, Jean Vuillemin
    Operational and Semantic Equivalence between Recursive Programs [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:75-85 [Conf]
  10. Howard P. Katseff
    A New Solution to the Critical Section Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:86-88 [Conf]
  11. Leslie M. Goldschlager
    A Unified Approach to Models of Synchronous Parallel Machines [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:89-94 [Conf]
  12. Edward Sciore, A. Tang
    Computability Theory in Admissible Domains [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:95-104 [Conf]
  13. Raymond E. Miller, Chee-Keng Yap
    On Formulating Simultaneity for Studying Parallelism and Synchronization [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:105-113 [Conf]
  14. Steven Fortune, James Wyllie
    Parallelism in Random Access Machines [Citation Graph (3, 0)][DBLP]
    STOC, 1978, pp:114-118 [Conf]
  15. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Data Type Specification: Parameterization and the Power of Specification Techniques [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:119-132 [Conf]
  16. I. S. Filotti
    An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:133-142 [Conf]
  17. Ingo Wegener
    Switching Functions Whose Monotone Complexity Is Nearly Quadratic [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:143-149 [Conf]
  18. Nancy A. Lynch
    Straight-Line Program Length as a Parameter for Complexity Measures [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:150-161 [Conf]
  19. Victor Y. Pan
    Computational Complexity of Computing Polynomials over the Fields of Real and Complex Numbers [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:162-172 [Conf]
  20. Joseph JáJá
    Optimal Evaluation of Pairs of Bilinear Forms [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:173-183 [Conf]
  21. Harold N. Gabow, Oded Kariv
    Algorithms for Edge Coloring Bipartite Graphs [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:184-192 [Conf]
  22. Laurent Hyafil
    On the Parallel Evaluation of Multivariate Polynomials [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:193-195 [Conf]
  23. Martin Tompa
    Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of their Circuits [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:196-204 [Conf]
  24. Eitan M. Gurari, Oscar H. Ibarra
    An NP-Complete Number-Theoretic Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:205-215 [Conf]
  25. Thomas J. Schaefer
    The Complexity of Satisfiability Problems [Citation Graph (4, 0)][DBLP]
    STOC, 1978, pp:216-226 [Conf]
  26. Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer
    Coping with Errors in Binary Search Procedures (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:227-232 [Conf]
  27. Anni R. Bruss, Albert R. Meyer
    On Time-Space Classes and Their Relation to the Theory of Real Addition [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:233-239 [Conf]
  28. David G. Kirkpatrick, Pavol Hell
    On the Completeness of a Generalized Matching Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:240-245 [Conf]
  29. Martin Dowd
    Propositional Representation of Arithmetic Proofs (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:246-252 [Conf]
  30. Mihalis Yannakakis
    Node- and Edge-Deletion NP-Complete Problems [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:253-264 [Conf]
  31. John M. Lewis
    On the Complexity of the Maximum Subgraph Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:265-274 [Conf]
  32. William J. Sakoda, Michael Sipser
    Nondeterminism and the Size of Two Way Finite Automata [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:275-286 [Conf]
  33. Dexter Kozen
    Indexing of Subrecursive Classes [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:287-295 [Conf]
  34. Gérard M. Baudet
    An Analysis of the Full Alpha-Beta Pruning Algorithm [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:296-313 [Conf]
  35. John Case, Carl Smith
    Anomaly Hierarchies of Mechanized Inductive Inference [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:314-319 [Conf]
  36. C. R. Reddy, Donald W. Loveland
    Presburger Arithmetic with Bounded Quantifier Alternation [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:320-325 [Conf]
  37. Vaughan R. Pratt
    A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:326-337 [Conf]
  38. Charles Rackoff
    Relativized Questions Involving Probabilistic Algorithms [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:338-342 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002