Searching...
Advanced Search
F
FOCS
1972
13th Annual Symposium on Switching and Automata Theory (SWAT 1972)
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
13th Annual Symposium on Switching and Automata Theory (SWAT 1972)
October 25-October 27
Table of Contents
Papers
Front cover
(PDF)
pp. C1
ABSTRACT
PDF
Table of contents
(PDF)
pp. 4-5
ABSTRACT
PDF
Foreword
(PDF)
pp. 3
ABSTRACT
PDF
Program equivalence and context-free grammars
(Abstract)
Barry K. Rosen
pp. 7-18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Effective computability in algebraic structures
(Abstract)
D. J. Kfoury
pp. 19-26
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Representing program schemes in logic
(Abstract)
John C. Cherniavsky
Robert L. Constable
pp. 27-39
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SGML results in computational topology
(Abstract)
G. Tourlakis
J. Mylopoulos
pp. 40-51
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On homomorphisms, simulations, correctness and subroutines for programs and program schemes
(Abstract)
J. A. Goguen
pp. 52-60
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Honest bounds for complexity classes of recursive functions
(Abstract)
Albert R. Meyer
Robert Moll
pp. 61-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Renamings in program schemas
(Abstract)
Luigi Logrippo
pp. 67-70
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Consistency of synchronization nets using P and V operations
(Abstract)
J. L. Bruno
E. G. Coffman
W. H. Hosken
pp. 71-77
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the decomposition of asynchronous systems
(Abstract)
Robert M. Keller
pp. 78-89
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fast modular transforms via division
(Abstract)
R. Moenck
A. Borodin
pp. 90-96
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The efficient calculation of powers of polynomials
(Abstract)
Ellis Horowitz
pp. 97-104
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the number of multiplications for the evaluation of a polynomial and all its derivatives
(Abstract)
Mary Shaw
J. F. Traub
pp. 105-107
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the relation of graph grammars and graph automata
(Abstract)
John Mylopoulos
pp. 108-120
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The emptiness problem for automata on infinite trees
(Abstract)
R. Hossley
C. Rackoff
pp. 121-124
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The equivalence problem for regular expressions with squaring requires exponential space
(Abstract)
A. R. Meyer
L. J. Stockmeyer
pp. 125-129
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Some related problems from network flows, game theory and integer programming
(Abstract)
Sartaj Sahni
pp. 130-138
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Some results on the effect of arithmetics on comparison problems
(Abstract)
Nathan Friedman
pp. 139-143
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fast allocation algorithms
(Abstract)
Dayid S. Johnson
pp. 144-154
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Optimal scheduling on multi-processor computing systems
(Abstract)
C. L. Liu
pp. 155-160
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A fast algorithm for the elimination of common subexpressions
(Abstract)
J. D. Ullman
pp. 161-176
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Universal test sets for logic networks
(Abstract)
Sheldon B. Akers
pp. 177-184
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Multiple faults in Reed-Muller canonic networks
(Abstract)
K. K. Saluja
S. M. Reddy
pp. 185-191
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Output sufficient modules for uniform decomposition of synchronous sequential circuits
(Abstract)
C. C. Huang
R. Y. Cain
L. L. Kinney
pp. 192-199
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On sets of numbers recognized by push-down automat
(Abstract)
Jean Berstel
pp. 200-206
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reversal-bounded multi-pushdown machines
(Abstract)
Brenda S. Baker
Ronald V. Book
pp. 207-211
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the equivalence of asynchronous control structures
(Abstract)
J. Robert Jump
P. S. Thiagarajan
pp. 212-223
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The characterisation of the derivation trees of context free sets of terms as regular sets
(Abstract)
T. S. E. Maibaum
pp. 224-230
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
