ask others

13. SWAT 1972: College Park, Maryland, USA

> Home > Conferences and Workshops > SWAT

- view
  - electronic edition @ ieee.org
  - electronic edition @ computer.org
- export record
  dblp key:
  - conf/focs/FOCS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FOCS13
13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972. IEEE Computer Society 1972

Session I

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Rosen72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Rosen72
Barry K. Rosen:
Program Equivalence and Context-Free Grammars. 7-18
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Kfoury72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Kfoury72
Denis J. Kfoury:
Effective Computability in Algebraic Structures (A Schematology Approach). 19-26
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/CherniavskyC72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/CherniavskyC72
John C. Cherniavsky, Robert L. Constable:
Representing Program Schemes in Logic. 27-39
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/TourlakisM72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/TourlakisM72
George Tourlakis, John Mylopoulos:
Some Results in Computational Topology. 40-51
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Goguen72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Goguen72
Joseph A. Goguen:
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes. 52-60
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/MeyerM72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/MeyerM72
Albert R. Meyer, Robert Moll:
Honest Bounds for Complexity Classes of Recursive Functions. 61-66

Session II

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Logrippo72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Logrippo72
Luigi Logrippo:
Renamings in Program Schemas (Extended Abstract). 67-70
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/BrunoCH72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/BrunoCH72
John L. Bruno, Edward G. Coffman Jr., W. H. Hosken:
Consistency of Synchronization Nets using P and V Operations. 71-77
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Keller72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Keller72
Robert M. Keller:
On the Decomposition of Asynchronous Systems. 78-89
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/MoenckB72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/MoenckB72
R. Moenck, Allan Borodin:
Fast Modular Transforms via Division. 90-96
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Horowitz72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Horowitz72
Ellis Horowitz:
The Efficient Calculation of Powers of Polynomials. 97-104
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/ShawT72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/ShawT72
Mary Shaw, Joseph F. Traub:
On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives. 105-107

Session III

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Mylopoulos72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Mylopoulos72
John Mylopoulos:
On the Relation of Graph Grammars and Graph Automata. 108-120
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/HossleyR72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/HossleyR72
R. Hossley, Charles Rackoff:
The Emptiness Problem for Automata on Infinite Trees. 121-124
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/MeyerS72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/MeyerS72
Albert R. Meyer, Larry J. Stockmeyer:
The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. 125-129
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Sahni72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Sahni72
Sartaj Sahni:
Some Related Problems from Network Flows, Game Theory and Integer Programming. 130-138
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Friedman72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Friedman72
Nathan Friedman:
Some Results on the Effect of Arithmetics on Comparison Problems. 139-143

Session IV

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Johnson72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Johnson72
David S. Johnson:
Fast Allocation Algorithms. 144-154
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Liu72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Liu72
C. L. Liu:
Optimal Scheduling on Multi-Processor Computing Systems. 155-160
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Ullman72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Ullman72
Jeffrey D. Ullman:
A Fast Algorithm for the Elimination of Common Subexpressions. 161-176
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Akers72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Akers72
Sheldon B. Akers Jr.:
Universal Test Sets for Logic Networks. 177-184
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/SalujaR72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/SalujaR72
Kewal K. Saluja, Sudhakar M. Reddy:
Multiple Faults in Reed-Muller Canonic Networks. 185-191
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/HuangKK72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/HuangKK72
C. C. Huang, Richard Y. Kain, Larry L. Kinney:
Output Sufficient Modules for Uniform Decomposition of Synchronous Sequential Circuits. 192-199

Session V

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Berstel72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Berstel72
Jean Berstel:
On Sets of Numbers Recognized by Push-Down Automata. 200-206
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/BakerB72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/BakerB72
Brenda S. Baker, Ronald V. Book:
Reversal-Bounded Multi-Pushdown Machines: Extended Abstract. 207-211
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/JumpT72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/JumpT72
J. Robert Jump, P. S. Thiagarajan:
On the Equivalence of Asynchronous Control Structures. 212-223
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Maibaum72
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Maibaum72
T. S. E. Maibaum:
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets. 224-230

maintained by

at