Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/focs/AblowYT67,
  author       = {Clarence M. Ablow and
                  Michael Yoeli and
                  James Turner},
  title        = {Irreducible Decompositions of Transformation Graphs by Assignment
                  Techniques},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {307--313},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.18},
  doi          = {10.1109/FOCS.1967.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AblowYT67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Aho67,
  author       = {Alfred V. Aho},
  title        = {Indexed Grammars-An Extension of Context Free Grammars},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {21--31},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.16},
  doi          = {10.1109/FOCS.1967.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Aho67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Amoroso67,
  author       = {S. M. Amoroso},
  title        = {A Parallel-Acting Iterative Automaton},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {83--94},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.2},
  doi          = {10.1109/FOCS.1967.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Amoroso67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ArmstrongFM67,
  author       = {Douglas B. Armstrong and
                  Arthur D. Friedman and
                  Prem R. Menon},
  title        = {Synthesis of Asynchronous Sequential Circuits with Minimum Number
                  of Delay Elements},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {95--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.31},
  doi          = {10.1109/FOCS.1967.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ArmstrongFM67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BavelT67,
  author       = {Zamir Bavel and
                  James W. Thomas},
  title        = {On the Decomposability of Monadic Algebras and Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {322--335},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.24},
  doi          = {10.1109/FOCS.1967.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BavelT67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Bayer67,
  author       = {Rudolf Bayer},
  title        = {On Endomorphisms and Congruences of Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {314--321},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.22},
  doi          = {10.1109/FOCS.1967.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Bayer67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BlumH67,
  author       = {Manuel Blum and
                  Carl Hewitt},
  title        = {Automata on a 2-Dimensional Tape},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {155--160},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.6},
  doi          = {10.1109/FOCS.1967.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BlumH67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BrzozowskiC67,
  author       = {Janusz A. Brzozowski and
                  Rina S. Cohen},
  title        = {On Decompositions of Regular Events},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {255--264},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.21},
  doi          = {10.1109/FOCS.1967.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BrzozowskiC67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/CohenB67,
  author       = {Rina S. Cohen and
                  Janusz A. Brzozowski},
  title        = {On the Star Height of Regular Events},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {265--279},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.25},
  doi          = {10.1109/FOCS.1967.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CohenB67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ElspasS67,
  author       = {Bernard Elspas and
                  Harold S. Stone},
  title        = {Decomposition of Group Functions and the Synthesis of Multirail Cascades},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {184--196},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.10},
  doi          = {10.1109/FOCS.1967.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ElspasS67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/FerrariG67,
  author       = {Domenico Ferrari and
                  Antonio Grasselli},
  title        = {A Cellular Structure for Sequential Networks},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {210--225},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.1},
  doi          = {10.1109/FOCS.1967.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FerrariG67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/FischerMR67,
  author       = {Patrick C. Fischer and
                  Albert R. Meyer and
                  Arnold L. Rosenberg},
  title        = {Real Time Counter Machines (Preliminary Version)},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {148--154},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.29},
  doi          = {10.1109/FOCS.1967.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FischerMR67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Friedman67,
  author       = {Arthur D. Friedman},
  title        = {Universal Single Transition Time Asynchronous State Assignments},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {106--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.38},
  doi          = {10.1109/FOCS.1967.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Friedman67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/GinsburgG67,
  author       = {Seymour Ginsburg and
                  Sheila A. Greibach},
  title        = {Abstract Families of Languages},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {128--139},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.3},
  doi          = {10.1109/FOCS.1967.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GinsburgG67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Greibach67,
  author       = {Sheila A. Greibach},
  title        = {An Infinite Hierarchy of Context-Free Languages},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {32--36},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.5},
  doi          = {10.1109/FOCS.1967.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Greibach67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Hartmanis67,
  author       = {Juris Hartmanis},
  title        = {On the Complexity of Undecidable Problems in Automata Theory},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {112--116},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.23},
  doi          = {10.1109/FOCS.1967.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Hartmanis67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/HopcroftU67a,
  author       = {John E. Hopcroft and
                  Jeffrey D. Ullman},
  title        = {Two Results on One-Way Stack Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {37--44},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.37},
  doi          = {10.1109/FOCS.1967.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/HopcroftU67a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/HopcroftU67b,
  author       = {John E. Hopcroft and
                  Jeffrey D. Ullman},
  title        = {An Approach to a Unified Theory of Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {140--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.4},
  doi          = {10.1109/FOCS.1967.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/HopcroftU67b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Jones67,
  author       = {Neil D. Jones},
  title        = {Classes of Automata and Transitive Closure},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {296--306},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.7},
  doi          = {10.1109/FOCS.1967.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Jones67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/KarpM67,
  author       = {Richard M. Karp and
                  Raymond E. Miller},
  title        = {Parallel Program Schemata: {A} Mathematical Model for Parallel Computation},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {55--61},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.27},
  doi          = {10.1109/FOCS.1967.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/KarpM67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kautz67,
  author       = {William H. Kautz},
  title        = {Testing for Faults in Combinational Cellular Logic Arrays},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {161--174},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.33},
  doi          = {10.1109/FOCS.1967.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kautz67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Klaschka67,
  author       = {Theresa F. Klaschka},
  title        = {Two Contributions to Redundancy Theory},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {175--183},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.36},
  doi          = {10.1109/FOCS.1967.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Klaschka67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/LawlerP67,
  author       = {Eugene L. Lawler and
                  Thomas F. Piatkowski},
  title        = {Generalized State Identification Problems},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {252--254},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.14},
  doi          = {10.1109/FOCS.1967.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/LawlerP67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Luconi67,
  author       = {Fred L. Luconi},
  title        = {Completely Functional Asynchronous Computational Structures},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {62--70},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.8},
  doi          = {10.1109/FOCS.1967.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Luconi67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Martin67,
  author       = {Robert L. Martin},
  title        = {Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback
                  Shift-Register Form},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {240--251},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.19},
  doi          = {10.1109/FOCS.1967.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Martin67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/MasseyS67,
  author       = {James L. Massey and
                  Michael K. Sain},
  title        = {Inverse Problems in Coding, Automata, and Continuous Systems},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {226--232},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.17},
  doi          = {10.1109/FOCS.1967.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/MasseyS67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/MeyerRF67,
  author       = {Albert R. Meyer and
                  Arnold L. Rosenberg and
                  Patrick C. Fischer},
  title        = {Turing Machines with Several Read-Write Heads (Preliminary Report)},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {117--127},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.35},
  doi          = {10.1109/FOCS.1967.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/MeyerRF67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/MowF67,
  author       = {Chao{-}Wei Mow and
                  King{-}Sun Fu},
  title        = {Generalization of Self-Dual and Self-Complementary Dual Functions},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {197--209},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.15},
  doi          = {10.1109/FOCS.1967.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/MowF67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Muller67,
  author       = {David E. Muller},
  title        = {The General Synthesis Problem for Asynchronous Digital Networks},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {71--82},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.34},
  doi          = {10.1109/FOCS.1967.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Muller67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/PaullU67,
  author       = {Marvin C. Paull and
                  Stephen H. Unger},
  title        = {Structural Equivalence of Context-Free Grammars},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {7--13},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.30},
  doi          = {10.1109/FOCS.1967.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/PaullU67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Paz67,
  author       = {Azaria Paz},
  title        = {Fuzzy Star Functions, Probabilistic Automata and Their Approximation
                  by Nonprobabilistic Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {280--290},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.13},
  doi          = {10.1109/FOCS.1967.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Paz67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Rosenkrantz67,
  author       = {Daniel J. Rosenkrantz},
  title        = {Programmed Grammars: {A} New Device for Generating Formal Languages},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {14--20},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.28},
  doi          = {10.1109/FOCS.1967.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Rosenkrantz67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/SpiraA67,
  author       = {Philip M. Spira and
                  Michael A. Arbib},
  title        = {Computation Times for Finite Groups, Semigroups and Automata},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {291--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.9},
  doi          = {10.1109/FOCS.1967.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/SpiraA67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Wagner67,
  author       = {Eric G. Wagner},
  title        = {On the Structure of Programming Languages, or, Six Languages for Turing
                  Machines},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {45--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.26},
  doi          = {10.1109/FOCS.1967.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Wagner67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/WeinerH67,
  author       = {Peter Weiner and
                  John E. Hopcroft},
  title        = {Modular Decomposition of Synchronous Sequential Machines},
  booktitle    = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  pages        = {233--239},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://doi.org/10.1109/FOCS.1967.20},
  doi          = {10.1109/FOCS.1967.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/WeinerH67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/focs/FOCS8,
  title        = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
                  USA, October 18-20, 1967},
  publisher    = {{IEEE} Computer Society},
  year         = {1967},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5397190/proceeding},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FOCS8.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.