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