default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th ISMVL 1995: Bloomington, Indiana, USA
- 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings. IEEE Computer Society 1995, ISBN 0-8186-7118-1
VLSI
- Jens Kargaard Madsen, Stephen I. Long:
A High-Speed Interconnect Network Using Ternary Logic. 2-7 - S. Sakurai, Takafumi Aoki, Tatsuo Higuchi:
Wire-Free Computing Circuits Using Optical Wave-Casting. 8-13 - Yuji Ohi, Takafumi Aoki, Tatsuo Higuchi:
Redundant Complex Number Systems. 14-19 - M. Ryu, Michitaka Kameyama:
Design of a Highly Parallel Multiple-Valued Linear Digital System for k-Ary Operations Based on Extended Representation Matrices. 20-27
Logic Design I
- Tsutomu Sasao, Jon T. Butler:
Planar Multiple-Valued Decision Diagrams. 28-35 - Zeljko Zilic, Zvonko G. Vranesic:
Reed-Muller Forms for Incompletely Specified Functions via Sparse Polynomial Interpolation. 36-43 - R. Oenning, Claudio Moraga:
Properties of the Zhang-Watari Transform. 44-51
Circuit Design I
- K. Wayne Current:
Memory Circuits for Multiple-Valued Logic Voltage Signals. 52-57 - Keivan Navi, Daniel Etiemble:
From Multi-Valued Current Mode CMOS Circuits to Efficient Voltage Mode CMOS Arithmetic Operators. 58-63 - Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyama:
Multiple-Valued Arithmetic Integrated Circuits Based on 1.5V-Supply Dual-Rail Source-Coupled Logic. 64-71
Algebra I
- J. Beckman, T. C. Wesselkamper:
The Radii of Sheffer Functions Over E(3). 72-77 - Alioune Ngom, Corina Reischer, Ivan Stojmenovic:
Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. 78-85 - Boris A. Romov:
Completeness Theory for Vector Partial Multiple-Valued Logic Functions. 86-91
Device-Based Circuit and Testing I
- Xiaowei Deng, Takahiro Hanyu, Michitaka Kameyama:
Quantum Device Model-Based Super Pass Gate for Multiple-Valued Digital Systems. 92-97 - Rolf Drechsler, Rolf Krieger, Bernd Becker:
Random Pattern Fault Simulation in Multi-Valued Circuits. 98-103 - Elena Dubrova, Dilian Gurov, Jon C. Muzio:
The Evaluation of Full Sensitivity for Test Generation in MVL Circuits. 104-111
Logic I
- Zuoquan Lin:
Paraconsistent Circumscription: First-Order Case. 112-116 - Bogdan J. Falkowski, Susanto Rahardja:
Novel Quantized Transform for Ternary Systems. 117-122 - Seiki Akama, Yotaro Nakayama:
A Three-Valued Semantics for Discourse Representations. 123-129
Invited Address
- Takao Waho:
Resonant Tunneling Transistor and Its Application to Multiple-Valued Logic Circuits. 130-139
Fuzzy Logic
- Helmut Thiele:
On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. 140-145 - N. Schmechel:
On Lattice-Isomorphism Between Fuzzy Equivalence Relations and Fuzzy Partitions. 146-151 - Liusheng Liu, Zhijian Li, Bingxue Shi:
Segment Matrix Vector Quantization and Fuzzy Logic for Isolated-Word Speech Recognition. 152-157
Logic Design II
- Bogdan J. Falkowski, Susanto Rahardja:
Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions. 158-163 - Hui Min Wang, Chung-Len Lee, Jwu E. Chen:
Factorization of Multi-Valued Logic Functions. 164-169 - Yutaka Hata, Naotake Kamiura, Kazuharu Yamato:
On Input Permutation Technique for Multiple-Valued Logic Synthesis. 170-177
Device-Based Circuit and Testing II
- Shoujue Wang, Xunwei Wu, Hongjuan Feng:
The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. 178-181 - Hao Tang, Hung Chang Lin:
A Fuzzy Membership Function Circuit Using Hysteretic Resonant Tunneling Diodes. 182-186 - Chung-Len Lee, Horng Nan Chern, Min Shung Liao, Hui Min Wang:
On Designing of 4-Valued Memory with Double-Gate TFT. 187-193
Algebra II
- Grant Pogosyan, Akihiro Nozaki:
Join-Irreducible Clones of Multiple-Valued Logic Algebra. 194-199 - Hajime Machida:
Finitary Approximations and Metric Structure of the Space of Clones. 200-205 - Wendy MacCaull:
Finite Algebraic Models for Residuated Logic. 206-215
Circuit Design II
- A. K. Jain, Mostafa I. H. Abd-El-Barr, R. J. Bolton:
Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm. 216-221 - Xunwei Wu, Xiexiong Chen, Jizhong Shen:
Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits. 222-227 - Ryutaro Murakami, Yoshiteru Ohkura, Ryosaku Shimada:
2k-ary Cyclic AN Codes for Burst Error Correction. 228-235
Logic II
- Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono:
A Characterization of Kleenean Functions. 236-241 - Hiroaki Kikuchi, Noboru Takagi, Shohachiro Nakanishi, Masao Mukaidono:
Uniqueness of Partially Specified Multiple-Valued Kleenean Function. 242-247 - Zuoquan Lin, Wei Li:
On Logic of Paradox. 248-255
Invited Address
- Tadeusz Luba:
Decomposition of Multiple-Valued Functions. 256-263
Artificial Intelligence
- T. C. Wesselkamper, J. Danowitz:
Some New Results for Multiple-Valued Genetic Algorithms. 264-269 - Zheng Tang, Okihiko Ishizuka, Koichi Tanno:
Learning Multiple-Valued Logic Networks Based on Back Propagation. 270-275 - Seiki Akama:
Three-Valued Constructive Logic and Logic Programs. 276-283
Logic Design III
- Radomir S. Stankovic:
Functional Decision Diagrams for Multiple-Valued Functions. 284-289 - Takahiro Hozumi, Naotake Kamiura, Yutaka Hata, Kazuharu Yamato:
Multiple-Valued Logic Design Using Multiple-Valued EXOR. 290-295
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.
last updated on 2026-08-14 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
