Search dblp for Publications

export results for "toc:db/conf/focs/focs70.bht:"

 download as .bib file

@inproceedings{DBLP:conf/focs/AhoU70,
  author       = {Alfred V. Aho and
                  Jeffrey D. Ullman},
  title        = {Equivalence of Programs with Structured Variables},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {25--31},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.8},
  doi          = {10.1109/SWAT.1970.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AhoU70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Ashkinazy70,
  author       = {Aaron Ashkinazy},
  title        = {Fault Detection Experiments for Asynchronous Sequential Machines},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {88--96},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.10},
  doi          = {10.1109/SWAT.1970.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Ashkinazy70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Banks70,
  author       = {Edwin Roger Banks},
  title        = {Universality in Cellular Automata},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {194--215},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.27},
  doi          = {10.1109/SWAT.1970.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Banks70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Benson70,
  author       = {David B. Benson},
  title        = {Syntactic Clues},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {133--138},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.23},
  doi          = {10.1109/SWAT.1970.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Benson70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BirmanU70,
  author       = {Alexander Birman and
                  Jeffrey D. Ullman},
  title        = {Parsing Algorithms with Backtrack},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {153--174},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.18},
  doi          = {10.1109/SWAT.1970.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BirmanU70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Bjorner70,
  author       = {Dines Bj{\o}rner},
  title        = {The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up
                  Transducers},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {122--132},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.26},
  doi          = {10.1109/SWAT.1970.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Bjorner70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BredesonH70,
  author       = {Jon G. Bredeson and
                  Paul T. Hulina},
  title        = {Elimination of Static and Dynamic Hazards in Combinatorial Switching
                  Circuits},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {104--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.7},
  doi          = {10.1109/SWAT.1970.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BredesonH70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ConstableB70,
  author       = {Robert L. Constable and
                  Allan Borodin},
  title        = {On the Efficiency of Programs in Subrecursive Formalisms (Incomplete
                  Version, Extended Abstract)},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {60--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.16},
  doi          = {10.1109/SWAT.1970.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ConstableB70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/FischlerT70,
  author       = {Martin A. Fischler and
                  Meyer Tannenbaum},
  title        = {Synchronizing and Representation Problems for Sequential Machines
                  with Masked Outputs},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {97--103},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.22},
  doi          = {10.1109/SWAT.1970.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FischlerT70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Fliess70,
  author       = {Michel Fliess},
  title        = {Deux applications de la representation matricielle d'une serie rationnelle
                  non commutative},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {81--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.6},
  doi          = {10.1109/SWAT.1970.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Fliess70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/GaleK70,
  author       = {David Gale and
                  Richard M. Karp},
  title        = {A Phenomenon in the Theory of Sorting},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {51--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.1},
  doi          = {10.1109/SWAT.1970.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GaleK70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Giuliano70,
  author       = {Joseph Alphonso Giuliano},
  title        = {Writing Stack Acceptors},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {181--193},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.28},
  doi          = {10.1109/SWAT.1970.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Giuliano70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Graham70,
  author       = {Susan L. Graham},
  title        = {Extended Precedence Languages, Bounded Right Context Languages, and
                  Deterministic Languages (Extended Abstract)},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {175--180},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.9},
  doi          = {10.1109/SWAT.1970.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Graham70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kameda70,
  author       = {Tiko Kameda},
  title        = {On the Computational Power of Some Machines with Pushdown-Like Storage},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {72},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.15},
  doi          = {10.1109/SWAT.1970.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kameda70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Keller70,
  author       = {Robert M. Keller},
  title        = {On Maximally Parallel Schemata},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {32--50},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.13},
  doi          = {10.1109/SWAT.1970.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Keller70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Mago70,
  author       = {Gyula Mag{\'{o}}},
  title        = {Asynchronous Sequential Circuits with (2,1) Type State Assignments},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {109--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.2},
  doi          = {10.1109/SWAT.1970.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Mago70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Paterson70,
  author       = {Mike Paterson},
  title        = {Tape-Bounds for Time-Bounded Turing Machines},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {73--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.25},
  doi          = {10.1109/SWAT.1970.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Paterson70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Reingold70,
  author       = {Edward M. Reingold},
  title        = {On the Optimality of Some Set and Vector Algorithms},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {68--71},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.17},
  doi          = {10.1109/SWAT.1970.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Reingold70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/RosenkrantzL70,
  author       = {Daniel J. Rosenkrantz and
                  Philip M. Lewis II},
  title        = {Deterministic Left Corner Parsing (Extended Abstract)},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {139--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.5},
  doi          = {10.1109/SWAT.1970.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/RosenkrantzL70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Rutledge70,
  author       = {Joseph D. Rutledge},
  title        = {Program Schemata as Automata: Part {I}},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {7--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.19},
  doi          = {10.1109/SWAT.1970.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Rutledge70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ShoshaniC70,
  author       = {Arie Shoshani and
                  Edward G. Coffman Jr.},
  title        = {Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {225--235},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.20},
  doi          = {10.1109/SWAT.1970.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ShoshaniC70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Smith70,
  author       = {Alvy Ray Smith III},
  title        = {Cellular Automata and Formal Languages},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {216--224},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.4},
  doi          = {10.1109/SWAT.1970.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Smith70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Unger70,
  author       = {Stephen H. Unger},
  title        = {Asynchronous Sequential Switching Circuits with Unrestricted Input
                  Changes},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {114--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.3},
  doi          = {10.1109/SWAT.1970.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Unger70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Zalcstein70,
  author       = {Yechezkel Zalcstein},
  title        = {On Star-Free Events},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {76--80},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.14},
  doi          = {10.1109/SWAT.1970.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Zalcstein70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Zeigler70,
  author       = {Bernard P. Zeigler},
  title        = {Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs},
  booktitle    = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  pages        = {236--239},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://doi.org/10.1109/SWAT.1970.21},
  doi          = {10.1109/SWAT.1970.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Zeigler70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/focs/FOCS11,
  title        = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
                  California, USA, October 28-30, 1970},
  publisher    = {{IEEE} Computer Society},
  year         = {1970},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4569623/proceeding},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FOCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.