1.
STOC
1969
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5-7, 1969, Marina del Rey, CA, USA. ACM 1969
P. Stanley Peters Jr.
,
Robert W. Ritchie
: Context-Sensitive Immediate Constituent Analysis-Context-Free Languages Revisited. 1-8
BibTeX
Gene F. Rose
: Abstract Families of Processors. 9-14
BibTeX
Ronald V. Book
,
Sheila A. Greibach
: Quasi-Realtime Languages-Extended Abstract. 15-18
BibTeX
Joseph S. Ullian
: The Inherent Ambiguity Partial Algorithm Problem for Context Free Languages. 19-20
BibTeX
W. J. Chandler
: Abstract Families of Deterministic Languages. 21-30
BibTeX
William F. Ogden
: Intercalation Theorems for Stack Languages. 31-42
BibTeX
Manuel Blum
: On Effective Procedures for Speeding Up Algorithms. 43-53
BibTeX
Sanat K. Basu
: On Classes of Computable Functions. 55-59
BibTeX
Donald W. Loveland
: On Minimal-Program Complexity Measures. 61-65
BibTeX
Allan Borodin
: Complexity Classes of Recursive Functions and the Existence of Complexity Gaps. 67-78
BibTeX
Edward M. McCreight
,
Albert R. Meyer
: Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report. 79-88
BibTeX
Paul R. Young
: Speed-Ups by Changing the Order in Which Sets are Enumerated (Preliminary Version). 89-92
BibTeX
Alfred V. Aho
,
Jeffrey D. Ullman
: Translations on a Context Free Grammar. 93-112
BibTeX
Peter Johansen
: Free Groups and Regular Expressions. 113-128
BibTeX
James W. Thatcher
: Transformations and Translations from the Point of View of Generalized Finite Automata Theory. 129-142
BibTeX
William C. Rounds
: Context-Free Grammars on Trees. 143-148
BibTeX
Gabor T. Herman
,
Stephen D. Isard
: Computability over Arbitrary Fields. 149-153
BibTeX
C. D. Shepard
: Languages in General Algebras. 155-163
BibTeX
Daniel J. Rosenkrantz
,
Richard Edwin Stearns
: Properties of Deterministic Top Down Grammars. 165-180
BibTeX
Michael J. Fischer
: Some Properties of Precedence Languages. 181-190
BibTeX
A. J. Korenjak
: Efficient LR(1) Processor Construction. 191-200
BibTeX
Zohar Manna
,
Amir Pnueli
: Formalization of Properties of Recursively Defined Functions. 201-210
BibTeX
H. Paul Zeiger
: Formal Models for Some Features of Programming Languages. 211-215
BibTeX
Stephen A. Cook
: Variations on Pushdown Machines (Detailed Abstract). 229-231
BibTeX
Stephen N. Cole
: Pushdown Store Machines and Real-Time Computation. 233-245
BibTeX
Walter J. Savitch
: Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract). 247-248
BibTeX
Louis Hodes
: The Logical Complexity of Geometric Properties in the Plane. 249-254
BibTeX
Algirdas Avizienis
: On the Problem of Computational Time and Complexity of Arithmetic Functions. 255-258
BibTeX
Serafino Amoroso
,
Edward Lieblein
,
Hisao Yamada
: A Unifying Framework for the Theory of Iterative Arrays of Machines. 259-269
BibTeX
Philip M. Spira
: On the Computation Time of Certain Classes of Boolean Functions. 271-272
BibTeX
Copyright ©
Sat May 16 23:43:08 2009 by
Michael Ley
(
ley@uni-trier.de
)