Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/focs/ArnoldL63,
  author       = {Richard F. Arnold and
                  Eugene L. Lawler},
  title        = {On the analysis of functional symmetry},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.11},
  doi          = {10.1109/SWCT.1963.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ArnoldL63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Booth63,
  author       = {Theodore M. Booth},
  title        = {Demonstrating hazards in sequential relay circuits},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {131--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.3},
  doi          = {10.1109/SWCT.1963.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Booth63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/CoatesL63,
  author       = {C. L. Coates and
                  Philip M. Lewis II},
  title        = {Threshold gate realizations of logical functions with don't cares},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {41--52},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.15},
  doi          = {10.1109/SWCT.1963.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CoatesL63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Eichelberger63,
  author       = {Edward B. Eichelberger},
  title        = {Sequential circuit synthesis using input delays},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {105--116},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.12},
  doi          = {10.1109/SWCT.1963.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Eichelberger63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ElgotM63,
  author       = {Calvin C. Elgot and
                  Jorge E. Mezei},
  title        = {Two-sided finite-state transductions (abbreviated version)},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {17--22},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.16},
  doi          = {10.1109/SWCT.1963.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ElgotM63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Fischer63,
  author       = {Patrick C. Fischer},
  title        = {On computability by certain classes of restricted Turing machines},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {23--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.10},
  doi          = {10.1109/SWCT.1963.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Fischer63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Frazer63,
  author       = {W. D. Frazer},
  title        = {Bilateral threshold nets (extended summary)},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {33--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.2},
  doi          = {10.1109/SWCT.1963.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Frazer63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Lawler63,
  author       = {Eugene L. Lawler},
  title        = {The minimal synthesis of tree structures},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {63--82},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.14},
  doi          = {10.1109/SWCT.1963.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Lawler63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Levien63,
  author       = {Roger E. Levien},
  title        = {Determining the best ordering of variables in cascade switching circuits},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {83--104},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.4},
  doi          = {10.1109/SWCT.1963.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Levien63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/McCluskey63,
  author       = {Edward J. McCluskey},
  title        = {Logical design theory of {NOR} gate networks with no complemented
                  inputs},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {137--148},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.9},
  doi          = {10.1109/SWCT.1963.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/McCluskey63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/McNaughton63,
  author       = {Robert McNaughton},
  title        = {Finite automata and badly timed elements},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {117--130},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.5},
  doi          = {10.1109/SWCT.1963.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/McNaughton63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Miller63,
  author       = {Raymond E. Miller},
  title        = {A survey of asynchronous logic: Comparing various definitions and
                  models for asynchronous switching circuits},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {149--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.1},
  doi          = {10.1109/SWCT.1963.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Miller63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Muller63,
  author       = {David E. Muller},
  title        = {Infinite sequences and finite machines},
  booktitle    = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  pages        = {3--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://doi.org/10.1109/SWCT.1963.8},
  doi          = {10.1109/SWCT.1963.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Muller63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/focs/FOCS4,
  title        = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 28-30, 1963},
  publisher    = {{IEEE} Computer Society},
  year         = {1963},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4569778/proceeding},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FOCS4.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.