Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/focs/Akers62,
  author       = {Sheldon B. Akers Jr.},
  title        = {Synthesis of combinational logic using three-input majority gates},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {149--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.16},
  doi          = {10.1109/FOCS.1962.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Akers62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BeattyM62,
  author       = {James C. Beatty and
                  Raymond E. Miller},
  title        = {Some theorems for incompletely specified sequential machines with
                  applications to state minimization},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {123--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.14},
  doi          = {10.1109/FOCS.1962.14},
  timestamp    = {Thu, 11 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/focs/BeattyM62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/CalabiR62,
  author       = {Lorenzo Calabi and
                  J. A. Riley},
  title        = {The algebra of Boolean formulas: Some criteria for minimality},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {33--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.18},
  doi          = {10.1109/FOCS.1962.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CalabiR62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ElgotR62,
  author       = {Calvin C. Elgot and
                  Joseph D. Rutledge},
  title        = {Machine properties preserved under state minimization},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.8},
  doi          = {10.1109/FOCS.1962.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ElgotR62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Even62,
  author       = {Shimon Even},
  title        = {Generalized automata and their information losslessness},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {143--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.6},
  doi          = {10.1109/FOCS.1962.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Even62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Hazeltine62,
  author       = {Barrett Hazeltine},
  title        = {A procedure for obtaining an economical asynchronous sequential circuit
                  directly from a set of regular expressions},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {71--79},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.1},
  doi          = {10.1109/FOCS.1962.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Hazeltine62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Hohn62,
  author       = {Franz E. Hohn},
  title        = {States of sequential machines whose logical elements involve delay},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {81--89},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.15},
  doi          = {10.1109/FOCS.1962.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Hohn62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Lawler62,
  author       = {Eugene L. Lawler},
  title        = {Minimal Boolean expressions with more than two levels of sums and
                  products},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {49--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.9},
  doi          = {10.1109/FOCS.1962.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Lawler62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Levien62,
  author       = {Roger E. Levien},
  title        = {The synthesis of cascade switching circuits},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {103--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.19},
  doi          = {10.1109/FOCS.1962.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Levien62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/LewisC62,
  author       = {Philip M. Lewis II and
                  C. L. Coates},
  title        = {A realization procedure for threshold gate networks},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {159--168},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.2},
  doi          = {10.1109/FOCS.1962.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/LewisC62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/McCluskey62,
  author       = {Edward J. McCluskey},
  title        = {Reduction of feedback loops in sequential circuits and carry leads
                  in iterative networks},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {91--102},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.12},
  doi          = {10.1109/FOCS.1962.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/McCluskey62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Meo62,
  author       = {Angelo Raffaele Meo},
  title        = {On the minimal third order expression of a Boolean function},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {5--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.11},
  doi          = {10.1109/FOCS.1962.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Meo62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Muroga62,
  author       = {Saburo Muroga},
  title        = {Generation of self-dual threshold functions and lower bounds of the
                  number of threshold functions and a maximum weight},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {169--184},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.7},
  doi          = {10.1109/FOCS.1962.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Muroga62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/SamsonC62,
  author       = {E. W. Samson and
                  Lorenzo Calabi},
  title        = {Research and algorithms in the theory of Boolean formulas},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.13},
  doi          = {10.1109/FOCS.1962.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/SamsonC62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Tung62,
  author       = {Chuen K. Tung},
  title        = {On some transformation theorems in many-valued logical systems},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {185--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.10},
  doi          = {10.1109/FOCS.1962.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Tung62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Winograd62,
  author       = {Shmuel Winograd},
  title        = {Bounded-transient automata},
  booktitle    = {3rd Annual Symposium on Switching Circuit Theory and Logical Design,
                  Chicago, Illinois, USA, October 7-12, 1962},
  pages        = {137--141},
  publisher    = {{IEEE} Computer Society},
  year         = {1962},
  url          = {https://doi.org/10.1109/FOCS.1962.3},
  doi          = {10.1109/FOCS.1962.3},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Winograd62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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