Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | |
15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP BibTeX RDF |
|
1 | Christoph M. Hoffmann, Lawrence H. Landweber |
Axiomatic Equivalence of Programs with Structured Variables ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 78-83, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle |
Recursive Schemes, Algebraic Trees and Deterministic Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 52-62, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, James W. Thatcher |
Initial Algebra Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 63-77, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
1 | Michel Hack |
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 156-164, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
1 | Emily P. Friedman |
Relationships between Monadic Recursion Schemes and Deterministic Context-Free Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 43-51, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
1 | Charles R. Baugh |
Chow Parameters in Pseudothreshold Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 49-55, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | William H. Joyner Jr. |
Automatic Theorem-Proving and the Decision Problem ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 159-166, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Lenore Blum, Manuel Blum 0001 |
Inductive Inference: A Recursion Theoretic Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 200-208, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Ashok K. Chandra |
Efficient Compilation of Linear Recursive Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 16-25, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Peter Weiner |
Linear Pattern Matching Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 1-11, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Hal Sudborough |
On Tape-Bounded Complexity Classes and Multi-Head Finite Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 138-144, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Henry Y. H. Chuang, Santanu Das |
Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 64-69, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | William C. Rounds |
Complexity of Recognition in Intermediate-Level Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 145-158, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Pfender, Hans Jürgen Schneider |
Graph-Grammars: An Algebraic Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 167-180, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | John C. Cherniavsky |
The Complexity of Some Non-Classical Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 209-213, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Bredeson |
On Multiple Input Change Hazard-Free Combinatorial Switching Circuits without Feedback ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 56-63, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Matthew M. Geller, Michael A. Harrison |
Characterizations of LR(0) Languages (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 103-108, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Mehlhorn |
On the Size of Sets of Computable Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 190-196, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Cadiou, Jean-Jacques Lévy |
Mechanizable Proofs about Parallel Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 34-48, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Michael Machtey |
A Notion of Helping and Pseudo-Complementation in Lattices of Honest Subrecursive Classes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 181-189, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Sam L. Savage |
Statistical Indicators of Optimality ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 85-91, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | M. Dennis Mickunas, Victor B. Schneider |
On the Ability to Cover LR(k) Grammars with LR(1), SLR(1), and (1,1) Bounded-Context Grammars ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 109-121, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Paul Young |
Optimization among Provably Equivalent Programs (Preliminary Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 197-199, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt, Foong Frances Yao |
On Lower Bounds for Computing the i-th Largest Element ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 70-81, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Joel I. Seiferas, Michael J. Fischer, Albert R. Meyer |
Refinements of the Nondeterministic Time and Space Hierarchies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 130-137, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Philip M. Spira, A. Pan |
On Finding and Updating Shortest Paths and Spanning Trees ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 82-84, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Emily P. Friedman |
Equivalence Problems in Monadic Recursion Schemes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 26-33, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | |
14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP BibTeX RDF |
|
1 | Thomas G. Szymanski, John H. Williams |
Non-Canonical Parsing ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 122-129, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Tiko Kameda, Shunichi Toida |
Efficient Algorithms for Determining an Extremal Tree of a Graph (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 12-15, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | David P. Dobkin |
On the Optimal Evaluation of a Set of n-Linear Forms ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 92-102, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
1 | Albert R. Meyer, Larry J. Stockmeyer |
The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 125-129, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Sartaj Sahni |
Some Related Problems from Network Flows, Game Theory and Integer Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 130-138, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | George Tourlakis, John Mylopoulos |
Some Results in Computational Topology ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 40-51, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Brenda S. Baker, Ronald V. Book |
Reversal-Bounded Multi-Pushdown Machines: Extended Abstract ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 207-211, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Barry K. Rosen |
Program Equivalence and Context-Free Grammars ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 7-18, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | John C. Cherniavsky, Robert L. Constable |
Representing Program Schemes in Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 27-39, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | C. C. Huang, Richard Y. Kain, Larry L. Kinney |
Output Sufficient Modules for Uniform Decomposition of Synchronous Sequential Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 192-199, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Kewal K. Saluja, Sudhakar M. Reddy |
Multiple Faults in Reed-Muller Canonic Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 185-191, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Keller |
On the Decomposition of Asynchronous Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 78-89, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Friedman |
Some Results on the Effect of Arithmetics on Comparison Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 139-143, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Mary Shaw, Joseph F. Traub |
On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 105-107, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Sheldon B. Akers Jr. |
Universal Test Sets for Logic Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 177-184, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Albert R. Meyer, Robert Moll |
Honest Bounds for Complexity Classes of Recursive Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 61-66, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | T. S. E. Maibaum |
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 224-230, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Logrippo |
Renamings in Program Schemas (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 67-70, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | R. Hossley, Charles Rackoff |
The Emptiness Problem for Automata on Infinite Trees ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 121-124, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | |
13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
1 | John Mylopoulos |
On the Relation of Graph Grammars and Graph Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 108-120, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen |
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 52-60, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Ellis Horowitz |
The Efficient Calculation of Powers of Polynomials ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 97-104, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | J. Robert Jump, P. S. Thiagarajan |
On the Equivalence of Asynchronous Control Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 212-223, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Jean Berstel |
On Sets of Numbers Recognized by Push-Down Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 200-206, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | R. Moenck, Allan Borodin |
Fast Modular Transforms via Division ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 90-96, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Denis J. Kfoury |
Effective Computability in Algebraic Structures (A Schematology Approach) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 19-26, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | John L. Bruno, Edward G. Coffman Jr., W. H. Hosken |
Consistency of Synchronization Nets using P and V Operations ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 71-77, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | David S. Johnson |
Fast Allocation Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 144-154, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | C. L. Liu 0001 |
Optimal Scheduling on Multi-Processor Computing Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 155-160, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey D. Ullman |
A Fast Algorithm for the Elimination of Common Subexpressions ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 161-176, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
1 | Sheldon B. Akers Jr. |
A Rectangular Logic Array ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 79-90, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | J. Richard Kane, Stephen S. Yau |
On the Design of Easily Testable Sequential Machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 38-42, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Languages for Defining Sets in Arbitrary Algebras ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 192-201, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Imre Simon |
Characterizations of Locally Testable Events ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 166-176, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | C. L. Liu 0001 |
Analysis of Sorting Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 207-215, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Edward M. Reingold |
Computing the Maximum and the Median ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 216-218, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Hal Sudborough |
Computation by Multi-Head Finite Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 105-113, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Mike Paterson, Larry J. Stockmeyer |
Bounds on the Evaluation Time for Rational Polynomials ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 140-143, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | H. Raymond Strong |
High Level Languages of Maximum Power ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 1-4, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Robert Endre Tarjan |
Depth-First Search and Linear Graph Algorithms (Working Paper) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 114-121, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Walter A. Burkhard, F. W. Kroon |
Toward a Weakly Invariant Complexity Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 24-32, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | |
12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP BibTeX RDF |
|
1 | Fred G. Abramson |
Effective Computation over the Real Numbers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 33-37, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Dertouzos |
Time Bounds on Space Computations ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 182-187, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Wm. A. Brinsfield, Raymond E. Miller |
On the Composition of Parallel Program Schemata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 20-23, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Albert R. Meyer, Michael J. Fischer |
Economy of Description by Automata, Grammars, and Formal Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 188-191, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Fischer, Albert R. Meyer |
Boolean Matrix Multiplication and Transitive Closure ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 129-131, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Stern, Hwa C. Torng |
NAND Cellular Arrays ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 91-104, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Edward G. Coffman Jr., Neil D. Jones |
Priority Paging Algorithms and the Extension Problem ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 177-181, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Constable, David Gries |
On Classes of Program Schemata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 5-19, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Lee E. Heindel, Ellis Horowitz |
On Decreasing the Computing Time for Modular Arithmetic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 126-128, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Alvy Ray Smith III |
Two-Dimensional Formal Languages and Pattern Recognition by Cellular Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 144-152, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Rina S. Cohen, Karel Culík II |
LR-Regular Grammars-An Extension of LR(k) Grammars ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 153-165, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Graziano Frosini, Giovanni B. Gerace |
Synthesis of Asynchronous Sequential Circuits with Master-Slave Subcircuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 60-78, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Y. Osman, C. Dennis Weiss |
Universal Base Functions and Modules for Realizing Arbitrary Switching Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 43-59, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Philip M. Spira |
Complete Linear Proofs of Systems of Linear Inequalities ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 202-206, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | J. Ian Munro, Mike Paterson |
Optimal Algorithms for Parallel Polynomial Evaluation ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 132-139, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John E. Hopcroft, Richard M. Karp |
A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971, pp. 122-125, 1971, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | David Gale, Richard M. Karp |
A Phenomenon in the Theory of Sorting ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 51-59, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Tiko Kameda |
On the Computational Power of Some Machines with Pushdown-Like Storage ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 72, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Alphonso Giuliano |
Writing Stack Acceptors ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 181-193, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Alvy Ray Smith III |
Cellular Automata and Formal Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 216-224, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Edwin Roger Banks |
Universality in Cellular Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 194-215, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner |
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 122-132, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | |
11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![IEEE Computer Society The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
1 | Arie Shoshani, Edward G. Coffman Jr. |
Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 225-235, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Stephen H. Unger |
Asynchronous Sequential Switching Circuits with Unrestricted Input Changes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 114-121, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Martin A. Fischler, Meyer Tannenbaum |
Synchronizing and Representation Problems for Sequential Machines with Masked Outputs ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 97-103, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Bredeson, Paul T. Hulina |
Elimination of Static and Dynamic Hazards in Combinatorial Switching Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 104-108, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
1 | Michel Fliess |
Deux applications de la representation matricielle d'une serie rationnelle non commutative ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 11th Annual Symposium on Switching and Automata Theory, Santa Monica, California, USA, October 28-30, 1970, pp. 81-87, 1970, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|