ask others

12th SWAT 1971: East Lansing, Michigan, USA

> Home > Conferences and Workshops > SWAT

- view
  - electronic edition @ ieee.org
  - electronic edition @ computer.org
- export record
  dblp key:
  - conf/focs/FOCS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FOCS12
12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971. IEEE Computer Society 1971

Session I

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Strong71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Strong71
H. Raymond Strong:
High Level Languages of Maximum Power. 1-4
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/ConstableG71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/ConstableG71
Robert L. Constable, David Gries:
On Classes of Program Schemata. 5-19
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/BrinsfieldM71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/BrinsfieldM71
Wm. A. Brinsfield, Raymond E. Miller:
On the Composition of Parallel Program Schemata. 20-23
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/BurkhardK71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/BurkhardK71
Walter A. Burkhard, F. W. Kroon:
Toward a Weakly Invariant Complexity Theory. 24-32
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Abramson71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Abramson71
Fred G. Abramson:
Effective Computation over the Real Numbers. 33-37

Session II

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/KaneY71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/KaneY71
J. Richard Kane, Stephen S. Yau:
On the Design of Easily Testable Sequential Machines. 38-42
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/OsmanW71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/OsmanW71
Mohamed Y. Osman, C. Dennis Weiss:
Universal Base Functions and Modules for Realizing Arbitrary Switching Functions. 43-59
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/FrosiniG71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FrosiniG71
Graziano Frosini, Giovanni B. Gerace:
Synthesis of Asynchronous Sequential Circuits with Master-Slave Subcircuits. 60-78
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Akers71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Akers71
Sheldon B. Akers Jr.:
A Rectangular Logic Array. 79-90
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/SternT71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/SternT71
D. A. Stern, Hwa C. Torng:
NAND Cellular Arrays. 91-104
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Sudborough71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Sudborough71
Ivan Hal Sudborough:
Computation by Multi-Head Finite Automata. 105-113

Session III

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Tarjan71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Tarjan71
Robert Endre Tarjan:
Depth-First Search and Linear Graph Algorithms (Working Paper). 114-121
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/HopcroftK71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/HopcroftK71
John E. Hopcroft, Richard M. Karp:
A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs. 122-125
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/HeindelH71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/HeindelH71
Lee E. Heindel, Ellis Horowitz:
On Decreasing the Computing Time for Modular Arithmetic. 126-128
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/FischerM71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/FischerM71
Michael J. Fischer, Albert R. Meyer:
Boolean Matrix Multiplication and Transitive Closure. 129-131
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/MunroP71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/MunroP71
J. Ian Munro, Mike Paterson:
Optimal Algorithms for Parallel Polynomial Evaluation. 132-139
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/PatersonS71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/PatersonS71
Mike Paterson, Larry J. Stockmeyer:
Bounds on the Evaluation Time for Rational Polynomials. 140-143

Session IV

- view
- export record
  dblp key:
  - conf/focs/Smith71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Smith71
Alvy Ray Smith III:
Two-Dimensional Formal Languages and Pattern Recognition by Cellular Automata. 144-152
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/CohenC71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/CohenC71
Rina S. Cohen, Karel Culik II:
LR-Regular Grammars-An Extension of LR(k) Grammars. 153-165
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/BrzozowskiS71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/BrzozowskiS71
Janusz A. Brzozowski, Imre Simon:
Characterizations of Locally Testable Events. 166-176
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/CoffmanJ71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/CoffmanJ71
Edward G. Coffman Jr., Neil D. Jones:
Priority Paging Algorithms and the Extension Problem. 177-181
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Dertouzos71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Dertouzos71
Michael L. Dertouzos:
Time Bounds on Space Computations. 182-187

Session V

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/MeyerF71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/MeyerF71
Albert R. Meyer, Michael J. Fischer:
Economy of Description by Automata, Grammars, and Formal Systems. 188-191
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Wagner71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Wagner71
Eric G. Wagner:
Languages for Defining Sets in Arbitrary Algebras. 192-201
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Spira71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Spira71
Philip M. Spira:
Complete Linear Proofs of Systems of Linear Inequalities. 202-206
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Liu71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Liu71
C. L. Liu:
Analysis of Sorting Algorithms. 207-215
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/focs/Reingold71
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/focs/Reingold71
Edward M. Reingold:
Computing the Maximum and the Median. 216-218

maintained by

, founded at