14. SWAT 1973:
Iowa City, Iowa, USA
14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973.
IEEE Computer Society 1973
Session I
Session II
Session III
Session IV
Session V
- 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

Last update Sat May 18 09:12:38 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page