The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1999)
Freiburg im Breisgau, Germany
May 20, 1999 to May 22, 1999
ISSN: 0195-623X
ISBN: 0-7695-0161-3
TABLE OF CONTENTS

Referees (PDF)

pp. xi
Session 1 — Invited Address
Session 2a — Algebra I

On Axiomatization of Conditional Entropy of Functions Between Finite Sets (Abstract)

Dan A. Simovici , University of Massachusetts at Boston
Szymon Jaroszewicz , University of Massachusetts at Boston
pp. 24
Session 2b — Circuits I

"New Lamps for Old!"(Generalized Multiple-Valued Neurons) (Abstract)

Ralph Heider , University of Dortmund
Claudio Moraga , University of Dortmund
pp. 36
Session 3a — Decomposition

A Generalization of Shestakov's Function Decomposition Method (Abstract)

J.J. Lou , ThoughtWorks Inc.
J.A. Brzozowski , University of Waterloo
pp. 66
Session 3b — Clones

Gigantic Pairs of Minimal Clones (Abstract)

Ivo G. Rosenberg , Universit? de Montr?al
Hajime Machida , Hitotsubashi University
pp. 74
Session 4a — Logic Design

Multiple-Valued Minimization to Optimize PLAs with Output EXOR Gates (Abstract)

Tsutomu Sasao , Kyushu Institute of Technology
Debatosh Debnath , Kyushu Institute of Technology
pp. 99

The Output Permutation for the Multiple-Valued Logic Minimization with Universal Literals (Abstract)

Takahiro Hozumi , Hyogo University
Yutaka Hata , Himeji Institute of Technology
Osamu Kakusho , Hyogo University
pp. 105

Logical Model for Representing Uncertain Statuses of Multiple-Valued Logic Systems Realized by Min, Max and Literals (Abstract)

Akimitsu Hon-nami , Toyama Prefectural University
Noboru Takagi , Toyama Prefectural University
Kyoichi Nakashima , Toyama Prefectural University
pp. 110
Session 4b — Algebra II

The Number of Cascade Functions (Abstract)

Grant Pogosyan , International Christian University
pp. 131
Session 5 — Invited Address

Structural and Behavioral Modeling with Monadic Logics (Abstract)

Stefan Friedrich , Albert-Ludwigs-Universit?t Freiburg,
Abdelwaheb Ayari , Albert-Ludwigs-Universit?t Freiburg,
David Basin , Albert-Ludwigs-Universit?t Freiburg,
pp. 142
Session 6a — Decision Diagrams

Synthesis of Multiple-Valued Decision Diagrams using Current-Mode CMOS Circuits (Abstract)

Mostafa Abd-El-Barr , King Fahd University of Petroleum & Minerals
Henry Fernandes , University of Saskatchewan
pp. 160

Shared Multiple-Valued Decision Diagrams for Multiple-Output Functions (Abstract)

Tsutomu Sasao , Kyushu Institute of Technology
Hafiz Md. , Kyushu Institute of Technology
Hasan Babu , Kyushu Institute of Technology
pp. 166
Session 6b — Circuits II

Down Literal Circuit with Neuron-MOS Transistors and Its Applications (Abstract)

Koichi Tanno , Miyazaki University
Jing Shen , Miyazaki University
Okihiko Ishizuka , Miyazaki University
pp. 180

Arithmetic Circuits for Analog Digits (Abstract)

Aryan Saed , Nortel Networks
Graham A. Jullien , University of Windsor
Majid Ahmadi , University of Windsor
pp. 186
Session 7a — Applications

Redundant Complex Arithmetic and Its Application to Complex Multiplier Design (Abstract)

Takafumi Aoki , Tohoku University
Tatsuo Higuchi , Tohoku University
Ken-ichi Hoshi , Tohoku University
pp. 200

B-ternary Logic Based Asynchronous Micropipeline (Abstract)

D. Michael Miller , University of Victoria
Masao Mukaidono , Meiji University
Yasunori Nagata , University of the Ryukyus
pp. 214

State Assignment Techniques in Multiple-Valued Logic (Abstract)

J.G. Campbell , University of Ulster
K.J. Adams , University of Ulster
J.A.C. Webb , University of Ulster
L.P. Maguire , University of Ulster
pp. 220
Session 7b — Logic

Transformations between Signed and Classical Clause Logic (Abstract)

Felip Manyà , Universit?t de Lleida
Reiner Hähnle , University of Karlsruhe
Bernhard Beckert , University of Karlsruhe
pp. 248

Semirigidity Problems in k -Valued Logic (Abstract)

Masahiro Miyakawa , Tsukuba College of Technology
pp. 256
Session 8 — Panel Session
Session 9a — Testing

Fault Characterization and Testability Considerations in Multi-Valued Logic Circuits (Abstract)

Maher Al-Sherif , King Fahd University of Petroleum and Minerals
Mostafa Abd-El-Barr , King Fahd University of Petroleum and Minerals
Mohamed Osman , King Fahd University of Petroleum and Minerals
pp. 262

Highly Testable Boolean Ring Logic Circuits (Abstract)

Marek A. Perkowski , Portland State University
Ugur Kalay , Portland State University
Douglas V. Hall , Portland State University
pp. 268
Session 9b — Fuzzy Logic

On the Concept of Qualitative Fuzzy Set (Abstract)

Helmut Thiele , University of Dortmund
pp. 282

On Some Classes of Fuzzy Information Granularity and Their Representations (Abstract)

Yutaka Hata , Himeji Institute of Technology
Masao Mukaidono , Meiji University
pp. 288

From a Fuzzy Flip-Flop to a MVL Flip-Flop (Abstract)

L.J. McDaid , University of Ulster
L.P. Maguire , University of Ulster
T.M. McGinnity , University of Ulster
pp. 294

Author Index (PDF)

pp. 302
108 ms
(Ver 3.3 (11022016))