13. SWAT 1972: College Park, Maryland, USA
- 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972. IEEE Computer Society 1972
Session I
- Joseph A. Goguen:
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes. 52-60
Session II
- John L. Bruno, Edward G. Coffman Jr., W. H. Hosken:
Consistency of Synchronization Nets using P and V Operations. 71-77 - Mary Shaw, Joseph F. Traub:
On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives. 105-107
Session III
- Albert R. Meyer, Larry J. Stockmeyer:
The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. 125-129 - Sartaj Sahni:
Some Related Problems from Network Flows, Game Theory and Integer Programming. 130-138
Session IV
- C. C. Huang, Richard Y. Kain, Larry L. Kinney:
Output Sufficient Modules for Uniform Decomposition of Synchronous Sequential Circuits. 192-199
Session V
- Brenda S. Baker, Ronald V. Book:
Reversal-Bounded Multi-Pushdown Machines: Extended Abstract. 207-211 - T. S. E. Maibaum:
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets. 224-230