The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on the Theory of Computing (STOC) (stoc)
1970 (conf/stoc/STOC2)

  1. Robert L. Constable
    On the Size of Programs in Subrecursive Formalisms [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:1-9 [Conf]
  2. Dennis F. Cudia
    The Degree Hierarchy of Undecidable Problems of Formal Grammars [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:10-21 [Conf]
  3. Forbes D. Lewis
    Unsolvability Considerations in Computational Complexity [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:22-30 [Conf]
  4. Lawrence H. Landweber, Edward L. Robertson
    Recursive Properties of Abstract Complexity Classes (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:31-36 [Conf]
  5. Leonard J. Bass, Paul R. Young
    Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:37-40 [Conf]
  6. Giorgio Ausiello
    On Bounds on the Number of Steps to Compute Functions [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:41-47 [Conf]
  7. Arnold L. Rosenberg
    Data Graphs and Addressing Schemes: Extended Abstract [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:48-61 [Conf]
  8. Walter A. Burkhard
    Complexity Problems in Real Time Computation [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:62-69 [Conf]
  9. Stephen A. Cook
    Path Systems and Language Recognition [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:70-72 [Conf]
  10. James B. Morris
    A Result on the Relationship between Simple Precedence Languages and Reducing Transition Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:73-80 [Conf]
  11. Gary Lindstrom
    The Design of Parsers for Incremental Language Processors [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:81-91 [Conf]
  12. Ronald V. Book, Sheila A. Greibach, Ben Wegbreit
    Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:92-99 [Conf]
  13. David J. Lewis
    Closure of Families of Languages under Substitution Operators [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:100-108 [Conf]
  14. William C. Rounds
    Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:109-116 [Conf]
  15. Barry K. Rosen
    Tree-Manipulating Systems and Church-Rosser Theorems [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:117-127 [Conf]
  16. David F. Martin, Steven A. Vere
    On Syntax-Directed Transduction and Tree Transducers [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:129-135 [Conf]
  17. Alfred V. Aho, Jeffrey D. Ullman
    Transformations on Straight Line Programs-Preliminary Version [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:136-148 [Conf]
  18. Clement L. McGowan
    The Correctness of a Modified SECD Machine [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:149-157 [Conf]
  19. Zohar Manna
    Second-Order Mathematical Theory of Computation [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:158-168 [Conf]
  20. James C. King, Robert W. Floyd
    An Interpretation Oriented Theorem Prover over Integers [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:169-179 [Conf]
  21. Raymond Reiter
    The Predicate Elimination Strategy in Theorem Proving [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:180-183 [Conf]
  22. H. R. Strong Jr.
    Translating Recursion Equations into Flow Charts [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:184-197 [Conf]
  23. Clarence A. Ellis
    Probabilistic Tree Automata [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:198-205 [Conf]
  24. Shi-Kuo Chang
    The Analysis of Two-Dimensional Patterns using Picture Processing Grammars [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:206-216 [Conf]
  25. Jean-François Perrot
    On The Relationship between Finite Automata, Finite Monoids, and Prefix Codes [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:217-220 [Conf]
  26. Maurice Nivat
    On Some Families of Languages Related to the Dyck Language [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:221-225 [Conf]
  27. Joseph S. Ullian
    Three Theorems on Abstract Families of Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:226-230 [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