14. FOCS 1973:
Iowa City,
Iowa
14th Annual Symposium on Foundations of Computer Science,
Iowa City, Iowa, 15-17 October 1973. IEEE Computer Society
- Peter Weiner:
Linear Pattern Matching Algorithms.
1-11
- Tiko Kameda, S. Toida:
Efficient Algorithms for Determining an Extremal Tree of a Graph (Extended Abstract).
12-15
- Ashok K. Chandra:
Efficient Compilation of Linear Recursive Programs.
16-25
- Emily P. Friedman:
Equivalence Problems in Monadic Recursion Schemes.
26-33
- J. M. Cadiou, Jean-Jacques Lévy:
Mechanizable Proofs about Parallel Processes.
34-48
- C. R. Baugh:
Chow Parameters in Pseudothreshold Logic.
49-55
- Jon G. Bredeson:
On Multiple Input Change Hazard-Free Combinatorial Switching Circuits without Feedback.
56-63
- Henry Y. H. Chuang, Santanu Das:
Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops.
64-69
- Vaughan R. Pratt, Foong Frances Yao:
On Lower Bounds for Computing the i-th Largest Element.
70-81
- Philip M. Spira, A. Pan:
On Finding and Updating Shortest Paths and Spanning Trees.
82-84
- Sam Savage:
Statistical Indicators of Optimality.
85-91
- David P. Dobkin:
On the Optimal Evaluation of a Set of n-Linear Forms.
92-102
- Matthew M. Geller, Michael A. Harrison:
Characterizations of LR(0) Languages (Extended Abstract).
103-108
- M. Dennis Mickunas, Victor B. Schneider:
On the Ability to Cover LR(k) Grammars with LR(1), SLR(1), and (1,1) Bounded-Context Grammars.
109-121
- Thomas G. Szymanski, John H. Williams:
Non-Canonical Parsing.
122-129
- Joel I. Seiferas, Michael J. Fischer, Albert R. Meyer:
Refinements of the Nondeterministic Time and Space Hierarchies.
130-137
- Ivan Hal Sudborough:
On Tape-Bounded Complexity Classes and Multi-Head Finite Automata.
138-144
- William C. Rounds:
Complexity of Recognition in Intermediate-Level Languages.
145-158
- William H. Joyner Jr.:
Automatic Theorem-Proving and the Decision Problem.
159-166
- Hartmut Ehrig, Michael Pfender, Hans Jürgen Schneider:
Graph-Grammars: An Algebraic Approach.
167-180
- Michael Machtey:
A Notion of Helping and Pseudo-Complementation in Lattices of Honest Subrecursive Classes.
181-189
- Kurt Mehlhorn:
On the Size of Sets of Computable Functions.
190-196
- Paul Young:
Optimization among Provably Equivalent Programs (Preliminary Abstract).
197-199
- Lenore Blum, Manuel Blum:
Inductive Inference: A Recursion Theoretic Approach.
200-208
- John C. Cherniavsky:
The Complexity of Some Non-Classical Logics.
209-213
Copyright © Mon Nov 2 20:36:40 2009
by Michael Ley (ley@uni-trier.de)
