Search dblp for Publications

export results for "toc:db/conf/ismvl/ismvl1991.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ismvl/Abd-El-BarrCJB91,
  author       = {Mostafa I. H. Abd{-}El{-}Barr and
                  H. Choy and
                  A. K. Jain and
                  R. J. Bolton},
  title        = {A Comparative Study of Programmable Realization Techniques of Multi-Valued
                  Multi-Threshold Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {372--381},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130759},
  doi          = {10.1109/ISMVL.1991.130759},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Abd-El-BarrCJB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AokiKH91,
  author       = {Takafumi Aoki and
                  Michitaka Kameyama and
                  Tatsuo Higuchi},
  title        = {Design of Interconnection-Free Biomolecular Computing System},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {173--180},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130724},
  doi          = {10.1109/ISMVL.1991.130724},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/AokiKH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Bignall91,
  author       = {Robert J. Bignall},
  title        = {A Non-Commutative Multiple-Valued Logic},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {49--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130704},
  doi          = {10.1109/ISMVL.1991.130704},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Bignall91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BornerHP91,
  author       = {Ferdinand B{\"{o}}rner and
                  Lucien Haddad and
                  Reinhard P{\"{o}}schel},
  title        = {A Note on Minimal Partial Clones},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {262--267},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130740},
  doi          = {10.1109/ISMVL.1991.130740},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/BornerHP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ButlerS91,
  author       = {Jon T. Butler and
                  Kriss A. Schueller},
  title        = {Worst Case Number of Terms in Symmetric Multiple-Valued Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {94--101},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130712},
  doi          = {10.1109/ISMVL.1991.130712},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/ButlerS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ChangB91,
  author       = {Young{-}hoon Chang and
                  Jon T. Butler},
  title        = {The Design of Current Mode {CMOS} Multiple-Valued Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {130--138},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130718},
  doi          = {10.1109/ISMVL.1991.130718},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/ChangB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Chiueh91,
  author       = {Tzi{-}cker Chiueh},
  title        = {Optimization of Fuzzy Logic Implementation},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {348--355},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130755},
  doi          = {10.1109/ISMVL.1991.130755},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Chiueh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/CurrentH91,
  author       = {K. Wayne Current and
                  M. E. Hurlston},
  title        = {A Bi-Directional Current-Mode {CMOS} Multiple-Valued Logic Memory
                  Circuit},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {196--202},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130729},
  doi          = {10.1109/ISMVL.1991.130729},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/CurrentH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/DamarlaH91,
  author       = {T. Raju Damarla and
                  Fiaz Hossain},
  title        = {Spectral Techniques for Multiple-Valued Logic Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {340--346},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130753},
  doi          = {10.1109/ISMVL.1991.130753},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/DamarlaH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/DueckR91,
  author       = {Gerhard W. Dueck and
                  G. H. John van Rees},
  title        = {On the Maximum Number of Implicants Needed to Cover a Multiple-Valued
                  Logic Function Using Window Literals},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {280--286},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130743},
  doi          = {10.1109/ISMVL.1991.130743},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/DueckR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/EpsteinR91,
  author       = {George Epstein and
                  Helena Rasiowa},
  title        = {Theory and Uses of Post Algebras of Order {\textbackslash}omega+{\textbackslash}omega{\textbackslash}ast.
                  Part {II}},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {248--254},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130738},
  doi          = {10.1109/ISMVL.1991.130738},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/EpsteinR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/GodoEGA91,
  author       = {Llu{\'{\i}}s Godo and
                  Francesc Esteva and
                  Pere Garcia and
                  Jaume Agust{\'{\i}}{-}Cullell},
  title        = {A Formal Semantical Approach to Fuzzy Logic},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {72--79},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130708},
  doi          = {10.1109/ISMVL.1991.130708},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/GodoEGA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Hahnle91,
  author       = {Reiner H{\"{a}}hnle},
  title        = {Uniform Notation of Tableau Rules for Multiple-Valued Logics},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {238--245},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130736},
  doi          = {10.1109/ISMVL.1991.130736},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Hahnle91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HanyuH91,
  author       = {Takahiro Hanyu and
                  Tatsuo Higuchi},
  title        = {A Floating-Gate-MOS-Based Multiple-Valued Associative Memory},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {24--31},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130700},
  doi          = {10.1109/ISMVL.1991.130700},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/HanyuH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HanyuKH91,
  author       = {Takahiro Hanyu and
                  Yasushi Kojima and
                  Tatsuo Higuchi},
  title        = {A Multiple-Valued Logic Artay {VLSI} Based on Two-Transistor Delta
                  Literal Circuit and Its Application to Real-Time Reasoning Systems},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {16--23},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130699},
  doi          = {10.1109/ISMVL.1991.130699},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/HanyuKH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HataYMY91,
  author       = {Yutaka Hata and
                  Masaharu Yuhara and
                  Fujio Miyawaki and
                  Kazuharu Yamato},
  title        = {On the Complexity of Enumerations for Multiple-Valued Kleenean Functions
                  and Unate Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130705},
  doi          = {10.1109/ISMVL.1991.130705},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/HataYMY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Hu91,
  author       = {Chia{-}Lun J. Hu},
  title        = {Application of Multi-Zero Artificial Neural Network to the Design
                  of an M-Valued Digital Multiplier},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {32--37},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130701},
  doi          = {10.1109/ISMVL.1991.130701},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Hu91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/IshizuhaTTM91,
  author       = {Okihiko Ishizuka and
                  Hiroshi Takarabe and
                  Zheng Tang and
                  Hiroki Matsumoto},
  title        = {Synthesis of Current-Mode Pass Transistor Networks},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130719},
  doi          = {10.1109/ISMVL.1991.130719},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/IshizuhaTTM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/KawahitoMN91,
  author       = {Shoji Kawahito and
                  K. Mizuno and
                  Tasuro Nakamura},
  title        = {Multiple-Valued Current-Mode Arithmetic Circuits Based on Redundant
                  Positive-Digit Number Representations},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {330--339},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130752},
  doi          = {10.1109/ISMVL.1991.130752},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/KawahitoMN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LeiV91,
  author       = {Konrad Lei and
                  Zvonko G. Vranesic},
  title        = {On the Synthesis of 4-Valued Current Mode {CMOS} Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {147--155},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130720},
  doi          = {10.1109/ISMVL.1991.130720},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/LeiV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LucasTS91,
  author       = {Caro Lucas and
                  I. Burhan T{\"{u}}rksen and
                  Kenneth C. Smith},
  title        = {A General-Purpose Inference Processor for Real-Time Intelligent Controllers
                  Using Systolic Arrays},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {316--321},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130749},
  doi          = {10.1109/ISMVL.1991.130749},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/LucasTS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Moraga91,
  author       = {Claudio Moraga},
  title        = {A Decade of Spectral Techniques},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {182--188},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130726},
  doi          = {10.1109/ISMVL.1991.130726},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Moraga91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MurrayR91,
  author       = {Neil V. Murray and
                  Erik Rosenthal},
  title        = {Improving Tableau Deductions in Multiple-Valued Logics},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {230--237},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130735},
  doi          = {10.1109/ISMVL.1991.130735},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/MurrayR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Nakamura91,
  author       = {Akira Nakamura},
  title        = {Topological Soft Algebra for the S5-Modal Fuzzy Logic},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {80--84},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130709},
  doi          = {10.1109/ISMVL.1991.130709},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Nakamura91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Neufeld91,
  author       = {Eric Neufeld},
  title        = {The Abnormality Predicate},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {218--224},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130733},
  doi          = {10.1109/ISMVL.1991.130733},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Neufeld91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/OkuraSH91,
  author       = {Yoshiteru Okura and
                  Ryosaku Shimada and
                  Toshiharu Hasegawa},
  title        = {Quaternary Cyclic {AN} Codes for Burst Error Correction},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {102--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130713},
  doi          = {10.1109/ISMVL.1991.130713},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/OkuraSH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Orlowska91,
  author       = {Ewa Orlowska},
  title        = {Post Relation Algebras and Their Proof System},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {298--305},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130746},
  doi          = {10.1109/ISMVL.1991.130746},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Orlowska91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ReischerS91,
  author       = {Corina Reischer and
                  Dan A. Simovici},
  title        = {On the Implementation of Set-Valued Non-Boolean Switching Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {166--172},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130723},
  doi          = {10.1109/ISMVL.1991.130723},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/ReischerS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Rine91,
  author       = {David C. Rine},
  title        = {An Equational Logic Approach for Mapping Multiple-Valued Rule-Based
                  Expert Systems into Hardware Specification Rules},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {308--315},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130748},
  doi          = {10.1109/ISMVL.1991.130748},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Rine91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/RozonM91,
  author       = {C{\^{o}}me Rozon and
                  Hussein T. Mouftah},
  title        = {Testability Analysis of {CMOS} Temary Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {158--165},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130722},
  doi          = {10.1109/ISMVL.1991.130722},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/RozonM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SasakiU91,
  author       = {Mamoru Sasaki and
                  Fumio Ueno},
  title        = {A Fuzzy Logic Function Generator {(FLUG)} Implemented with Current
                  Mode {CMOS} Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {356--362},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130756},
  doi          = {10.1109/ISMVL.1991.130756},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SasakiU91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Sasao91,
  author       = {Tsutomu Sasao},
  title        = {A Transformation of Multiple-Valued Input Two-Valued Output Functions
                  and its Application to Simplification of Exclusive-or Sum-of-Products
                  Expressions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {270--279},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130742},
  doi          = {10.1109/ISMVL.1991.130742},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Sasao91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SchaferP91,
  author       = {Ingo Sch{\"{a}}fer and
                  Marek A. Perkowski},
  title        = {Multiple-Valued Generalized Reed-Muller Forms},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {40--48},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130703},
  doi          = {10.1109/ISMVL.1991.130703},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SchaferP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Taheri91,
  author       = {Babak A. Taheri},
  title        = {Proposed {CMOS} {VLSI} Implementation of an Electronic Neuron Using
                  Multivalued Signal Processing},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {203--209},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130730},
  doi          = {10.1109/ISMVL.1991.130730},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Taheri91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/TakagiM91,
  author       = {Noboru Takagi and
                  Masao Mukaidono},
  title        = {Fundamental Properties of Kleene-Stone Logic Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {63--70},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130706},
  doi          = {10.1109/ISMVL.1991.130706},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/TakagiM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/TirumalaiV91,
  author       = {Parthasarathy P. Tirumalai and
                  Varadarajan G. Vadakkencherry},
  title        = {Parallel Algorithms for Minimizing Multiple-Valued Programmable Logic
                  Arrays},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {287--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130744},
  doi          = {10.1109/ISMVL.1991.130744},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/TirumalaiV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/TosicSM91,
  author       = {Ratko Tosic and
                  Ivan Stojmenovic and
                  Masahiro Miyakawa},
  title        = {On the Maximum Size of the Terms in the Realization of Symmetric Functions},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {110--117},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130714},
  doi          = {10.1109/ISMVL.1991.130714},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/TosicSM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Tsuchiya91,
  author       = {Yoshifumi Tsuchiya},
  title        = {An Algorithm for the Solution of Multi-Valued Logic Programming},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {322--327},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130750},
  doi          = {10.1109/ISMVL.1991.130750},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Tsuchiya91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WatanabeM91,
  author       = {Tatsuki Watanabe and
                  Masayuki Matsumoto},
  title        = {Recognition of Circle Form Using Fuzzy Sequential System},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {85--92},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130710},
  doi          = {10.1109/ISMVL.1991.130710},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/WatanabeM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WatanabeSDY91,
  author       = {Hiroyuki Watanabe and
                  James R. Symon and
                  Wayne D. Dettloff and
                  Kathy E. Yount},
  title        = {{VLSI} Fuzzy Chip and Inference Accelerator Board Systems},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {120--127},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130716},
  doi          = {10.1109/ISMVL.1991.130716},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/WatanabeSDY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WeiL91,
  author       = {Sen Jung Wei and
                  Hung Chang Lin},
  title        = {Multiple Peak Resonant Tunneling Diode for Multi-Valued Memory},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {190--195},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130728},
  doi          = {10.1109/ISMVL.1991.130728},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/WeiL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Wojcik91,
  author       = {Anthony S. Wojcik},
  title        = {Reasoning About Digital Systems},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {2--6},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130696},
  doi          = {10.1109/ISMVL.1991.130696},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Wojcik91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Wroblewski91,
  author       = {Frank J. Wroblewski},
  title        = {Undecidability in the Completion of Truth-Function Logic},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {225--229},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130734},
  doi          = {10.1109/ISMVL.1991.130734},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Wroblewski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WuD91,
  author       = {Xunwei Wu and
                  Xiaowei Deng},
  title        = {Theory of Grounded Current Switches and Quatemary {IIL} Circuits},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {210--215},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130731},
  doi          = {10.1109/ISMVL.1991.130731},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/WuD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/YangLG91,
  author       = {Chyan Yang and
                  Han{-}Chung Lu and
                  David E. Gilbert},
  title        = {An Investigation into the Implementation Costs of Residue and High
                  Radix Arithmetic},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {364--371},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130758},
  doi          = {10.1109/ISMVL.1991.130758},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/YangLG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/YuminakaAH91,
  author       = {Yasushi Yuminaka and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Design of a Set Logic Network Based on Frequency Multiplexing and
                  Its Applications to Image Processing},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {8--15},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130698},
  doi          = {10.1109/ISMVL.1991.130698},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/YuminakaAH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Zhang91,
  author       = {Wen{-}Ran Zhang},
  title        = {{NPN} Calculi: {A} Family of Three Strict Q-Algebras},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {255--261},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130739},
  doi          = {10.1109/ISMVL.1991.130739},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Zhang91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/1991,
  title        = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/338/proceeding},
  isbn         = {0-8186-2145-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics