Search results for "SWAT"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Aaron Ashkinazy	Fault Detection Experiments for Asynchronous Sequential Machines	SWAT	1970	DBLP DOI BibTeX RDF
1	Susan L. Graham	Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract)	SWAT	1970	DBLP DOI BibTeX RDF
1	Gyula Magó	Asynchronous Sequential Circuits with (2,1) Type State Assignments	SWAT	1970	DBLP DOI BibTeX RDF
1	Mike Paterson	Tape-Bounds for Time-Bounded Turing Machines	SWAT	1970	DBLP DOI BibTeX RDF
1	Daniel J. Rosenkrantz, Philip M. Lewis II	Deterministic Left Corner Parsing (Extended Abstract)	SWAT	1970	DBLP DOI BibTeX RDF
1	Bernard P. Zeigler	Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs	SWAT	1970	DBLP DOI BibTeX RDF
1	Joseph D. Rutledge	Program Schemata as Automata: Part I	SWAT	1970	DBLP DOI BibTeX RDF
1	Robert M. Keller	On Maximally Parallel Schemata	SWAT	1970	DBLP DOI BibTeX RDF
1	Robert L. Constable, Allan Borodin	On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)	SWAT	1970	DBLP DOI BibTeX RDF
1	David B. Benson	Syntactic Clues	SWAT	1970	DBLP DOI BibTeX RDF
1	Alexander Birman, Jeffrey D. Ullman	Parsing Algorithms with Backtrack	SWAT	1970	DBLP DOI BibTeX RDF
1	Yechezkel Zalcstein	On Star-Free Events	SWAT	1970	DBLP DOI BibTeX RDF
1	Edward M. Reingold	On the Optimality of Some Set and Vector Algorithms	SWAT	1970	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Jeffrey D. Ullman	Equivalence of Programs with Structured Variables	SWAT	1970	DBLP DOI BibTeX RDF
1	Thomas F. Arnold, Monroe M. Newborn	Iteratively Realized Sequential Circuits: Further Considerations	SWAT	1969	DBLP DOI BibTeX RDF
1	Richard Edwin Stearns, Daniel J. Rosenkrantz	Table Machine Simulation	SWAT	1969	DBLP DOI BibTeX RDF
1	Allan Borodin, Robert L. Constable, John E. Hopcroft	Dense and Non-Dense Families of Complexity Classes	SWAT	1969	DBLP DOI BibTeX RDF
1	Luigi Logrippo	Storage Interference in Asynchronous Computations	SWAT	1969	DBLP DOI BibTeX RDF
1	Taylor L. Booth	Probabilistic Representation of Formal Languages	SWAT	1969	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Jeffrey D. Ullman	A Characterization of Two-Way Deterministic Classes of Languages	SWAT	1969	DBLP DOI BibTeX RDF
1	Sheila A. Greibach	Full AFLs and Nested Iterated Substitution	SWAT	1969	DBLP DOI BibTeX RDF
1	Michael J. Fischer	Two Characterizations of the Context-Sensitive Languages	SWAT	1969	DBLP DOI BibTeX RDF
1	Walter S. Brainerd	Semi-Thue Systems and Representations of Trees	SWAT	1969	DBLP DOI BibTeX RDF
1	B. O. Nash, Rina S. Cohen	Parallel Leveled Grammars	SWAT	1969	DBLP DOI BibTeX RDF
1	Jim Gray 0001, Michael A. Harrison	Single Pass Precedence Analysis (Extended Abstract)	SWAT	1969	DBLP DOI BibTeX RDF
1	Robert L. Constable	The Operator Gap	SWAT	1969	DBLP DOI BibTeX RDF
1	Igal Kohavi	Fault Diagnosis of Logical Circuits	SWAT	1969	DBLP DOI BibTeX RDF
1	Aravind K. Joshi, S. Rao Kosaraju, H. Yamada	String Adjunct Grammars	SWAT	1969	DBLP DOI BibTeX RDF
1	John L. Bruno, Stanley M. Altman	Asynchronous Control Networks	SWAT	1969	DBLP DOI BibTeX RDF
1	Erol Gelenbe	On Probabilistic Automata with Structural Restrictions	SWAT	1969	DBLP DOI BibTeX RDF
1	W. Frank King III, Peter Weiner	On the Modular Decomposition of Autonomous Sequential Machines	SWAT	1969	DBLP DOI BibTeX RDF
1	Denis J. Kfoury, Chung L. Liu	Definite Stochastic Sequential Machines and Definite Stochastic Matrices	SWAT	1969	DBLP DOI BibTeX RDF
1	Thomas A. Kriz	Machine Identification Concepts of Path Sensitizing Fault Diagnosis	SWAT	1969	DBLP DOI BibTeX RDF
1	Bernard W. Lovell	The Incompletely-Specified Finite-State Stochastic Sequential Machine Equivalence and Reduction	SWAT	1969	DBLP DOI BibTeX RDF
1	S. Rao Kosaraju	Recognition of Context-Free and Stack Languages	SWAT	1969	DBLP DOI BibTeX RDF
1	Gerald A. Fischer, George N. Raney	On the Representation of Formal Languages Using Automata on Networks	SWAT	1969	DBLP DOI BibTeX RDF
1	Dennis Tsichritzis	Iterative Procedures	SWAT	1969	DBLP DOI BibTeX RDF
1	Daniel A. Walters	Deterministic Context-Sensitive Languages	SWAT	1969	DBLP DOI BibTeX RDF
1	Richard T. Sha, T. W. Sze	Threshold Logic: A Simplified Synthesis by a Recursive Method	SWAT	1969	DBLP DOI BibTeX RDF
1	John E. Hopcroft, L. R. Kerr	Some Techniques for Proving Certain Simple Programs Optimal	SWAT	1969	DBLP DOI BibTeX RDF
1		10th Annual Symposium on Switching and Automata Theory, Waterloo, Ontario, Canada, October 15-17, 1969	SWAT	1969	DBLP BibTeX RDF
1	Alvy Ray Smith III	Simple Computation-Universal Cellular Spaces and Self-Reproduction	SWAT	1968	DBLP DOI BibTeX RDF
1	Richard Edwin Stearns, Philip M. Lewis II	Property Grammars and Table Machines	SWAT	1968	DBLP DOI BibTeX RDF
1		9th Annual Symposium on Switching and Automata Theory, Schenectady, New York, USA, October 15-18, 1968	SWAT	1968	DBLP BibTeX RDF
1	Sanat K. Basu	Transformation of Program Schemes to Standard Forms	SWAT	1968	DBLP DOI BibTeX RDF
1	William H. Kautz, James Turner	Universal Connecting Networks and the Synthesis of Canonical Sequential Circuits	SWAT	1968	DBLP DOI BibTeX RDF
1	Ronald V. Book	Grammars with Linear Time Functions	SWAT	1968	DBLP DOI BibTeX RDF
1	Mario Schkolnick	Two-Type Bracketed Grammars	SWAT	1968	DBLP DOI BibTeX RDF
1	Rina S. Cohen	Transition Graphs and the Star Height Problem	SWAT	1968	DBLP DOI BibTeX RDF
1	Chung-Jen Tan, Prem R. Menon, Arthur D. Friedman	Structural Simplification and Decomposition of Asynchronous Sequential Circuits	SWAT	1968	DBLP DOI BibTeX RDF
1	Albert R. Meyer, Patrick C. Fischer	On Computational Speed-Up	SWAT	1968	DBLP DOI BibTeX RDF
1	Azaria Paz	Infinite State Probabilistic Transition Tables and Chains Ergodic Properties	SWAT	1968	DBLP DOI BibTeX RDF
1	T. T. Nieh, Jack W. Carlyle	On a Measure of Complexity for Stochastic Sequential Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	Scott J. Schwartz	An Algorithm for Minimizing Read Only Memories for Machine Control	SWAT	1968	DBLP DOI BibTeX RDF
1	Robert J. Lechner	A Transform Approach to Logic Design	SWAT	1968	DBLP DOI BibTeX RDF
1	Philip M. Spira	On the Computation Time of Finite Functions	SWAT	1968	DBLP DOI BibTeX RDF
1	Melvin A. Breuer	Fault Detection in a Linear Cascade of Identical Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	David E. Muller	Use of Multiple Index Matrices in Generalized Automata Theory	SWAT	1968	DBLP DOI BibTeX RDF
1	C. Dennis Weiss	Optimal Synthesis of Arbitrary Switching Functions with Regular Arrays of 2-Input, 1-Output Switching Elements	SWAT	1968	DBLP DOI BibTeX RDF
1	Janusz A. Brzozowski	Regular-Like Expressions for Some Irregular Languages	SWAT	1968	DBLP DOI BibTeX RDF
1	Fred L. Luconi	Output Functional Computational Structures	SWAT	1968	DBLP DOI BibTeX RDF
1	Eric G. Wagner	"Tapeless" Bounded Action Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	Takayasu Ito	Some Formal Properties of a Class of Non-Deterministic Program Schemata	SWAT	1968	DBLP DOI BibTeX RDF
1	Raymond T. Yeh	Structural Equivalence of Automata	SWAT	1968	DBLP DOI BibTeX RDF
1	Juris Hartmanis, John E. Hopcroft	Structure of Undecidable Problems in Automata Theory	SWAT	1968	DBLP DOI BibTeX RDF
1	Patrick C. Fischer, Juris Hartmanis, Manuel Blum 0001	Tape Reversal Complexity Hierarchies	SWAT	1968	DBLP DOI BibTeX RDF
1	Michael J. Fischer	Grammars with Macro-Like Productions	SWAT	1968	DBLP DOI BibTeX RDF
1	Thomas F. Arnold, Chung-Jen Tan, Monroe M. Newborn	Iteratively Realized Sequential Circuits	SWAT	1968	DBLP DOI BibTeX RDF
1	Alan Cobham	On the Hartmanis-Stearns Problem for a Class of TAG Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	Gabor T. Herman	The Uniform Halting Problem for Generalized One State Turing Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Jeffrey D. Ullman	Automaton Analogs of Syntax Directed Translation Schemata	SWAT	1968	DBLP DOI BibTeX RDF
1	Wayne A. Davis	The Linearity of Sequential Machines: A Critical Review	SWAT	1968	DBLP DOI BibTeX RDF
1	Gordon Whitney	The Position of Table Languages within the Hierarchy of Nondeterministic On-Line Tape-Bounded Turing Machine Languages	SWAT	1968	DBLP DOI BibTeX RDF
1	Jeffrey D. Ullman, Peter Weiner	Universal Two State Machines: Characterization Theorems and Decomposition Schemes	SWAT	1968	DBLP DOI BibTeX RDF
1	Luigi Petrone	Syntax Directed Mappings of Context-Free Languages	SWAT	1968	DBLP DOI BibTeX RDF
1	Amar Mukhopadhyay	Lupanov Decoding Networks	SWAT	1968	DBLP DOI BibTeX RDF
1	Larry L. Kinney	A Characterization of Some Asynchronous State Assignments	SWAT	1968	DBLP DOI BibTeX RDF
1	Seymour Ginsburg, Edwin H. Spanier	Derivation-Bounded Languages	SWAT	1968	DBLP DOI BibTeX RDF
1	Marvin C. Paull, Stephen H. Unger	Structural Equivalence and LL-k Grammars	SWAT	1968	DBLP DOI BibTeX RDF
1	Sheila A. Greibach	Checking Automata and One-Way Stack Languages (Extended Abstract)	SWAT	1968	DBLP DOI BibTeX RDF
1	Michael J. Fischer, Arnold L. Rosenberg	Limited Random Access Turing Machines	SWAT	1968	DBLP DOI BibTeX RDF
1	Seymour Ginsburg, John E. Hopcroft	Two-Way Balloon Automata and AFL	SWAT	1968	DBLP DOI BibTeX RDF
1	Paul R. Young	Toward a Theory of Enumerations	SWAT	1968	DBLP DOI BibTeX RDF
1	Janusz A. Brzozowski, Rina S. Cohen	On Decompositions of Regular Events	SWAT	1967	DBLP DOI BibTeX RDF
1	Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg	Real Time Counter Machines (Preliminary Version)	SWAT	1967	DBLP DOI BibTeX RDF
1	Sheila A. Greibach	An Infinite Hierarchy of Context-Free Languages	SWAT	1967	DBLP DOI BibTeX RDF
1	Eugene L. Lawler, Thomas F. Piatkowski	Generalized State Identification Problems	SWAT	1967	DBLP DOI BibTeX RDF
1	Marvin C. Paull, Stephen H. Unger	Structural Equivalence of Context-Free Grammars	SWAT	1967	DBLP DOI BibTeX RDF
1	Chao-Wei Mow, King-Sun Fu	Generalization of Self-Dual and Self-Complementary Dual Functions	SWAT	1967	DBLP DOI BibTeX RDF
1	Eric G. Wagner	On the Structure of Programming Languages, or, Six Languages for Turing Machines	SWAT	1967	DBLP DOI BibTeX RDF
1	Theresa F. Klaschka	Two Contributions to Redundancy Theory	SWAT	1967	DBLP DOI BibTeX RDF
1	Peter Weiner, John E. Hopcroft	Modular Decomposition of Synchronous Sequential Machines	SWAT	1967	DBLP DOI BibTeX RDF
1	Neil D. Jones	Classes of Automata and Transitive Closure	SWAT	1967	DBLP DOI BibTeX RDF
1	Albert R. Meyer, Arnold L. Rosenberg, Patrick C. Fischer	Turing Machines with Several Read-Write Heads (Preliminary Report)	SWAT	1967	DBLP DOI BibTeX RDF
1	William H. Kautz	Testing for Faults in Combinational Cellular Logic Arrays	SWAT	1967	DBLP DOI BibTeX RDF
1	Azaria Paz	Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic Automata	SWAT	1967	DBLP DOI BibTeX RDF
1	Robert L. Martin	Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register Form	SWAT	1967	DBLP DOI BibTeX RDF
1	Arthur D. Friedman	Universal Single Transition Time Asynchronous State Assignments	SWAT	1967	DBLP DOI BibTeX RDF
1	Clarence M. Ablow, Michael Yoeli, James Turner	Irreducible Decompositions of Transformation Graphs by Assignment Techniques	SWAT	1967	DBLP DOI BibTeX RDF
1	Juris Hartmanis	On the Complexity of Undecidable Problems in Automata Theory	SWAT	1967	DBLP DOI BibTeX RDF

Publications at "SWAT"( http://dblp.L3S.de/Venues/SWAT )