Guest Editors
Robert Wille and Rolf Drechsler
p. 1-17
Maximal and Minimal Closed Classes in Multiple-valued Logic
Tamás Waldhauser
Abstract
Full Text (IP)
p. 19-32
Concrete Dualities and Essential Arities
Sebastian Kerkoff
Abstract
Full Text (IP)
p. 33-54
System Monitoring with a Five-valued LTL
Ming Chai and Bernd-Holger Schlingloff
Abstract
Full Text (IP)
p. 55-73
A Formal Verification Method of Error Correction Code Processors Over Galois-Field Arithmetic
Rei Ueno, Naofumi Homma and Takafumi Aoki
Abstract
Full Text (IP)
p. 75-87
Comparison of Spectrally Efficient Coding Techniques for High-Speed VLSI Data Transmission
Yasushi Yuminaka, Yuuki Takada and Tomonao Okada
Abstract
Full Text (IP)
p. 89-108
Encoding of Multi Level S-Threshold Functions
Jovanka Pantovic, Silvia Ghilezan and Jovisa Zunic
Abstract
Full Text (IP)
p. 109-123
An Update Method for a Low Power Cam Emulator Using an LUT Cascade Based on an EVMDD (k)
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura and Hisashi Iwamoto
Abstract
Full Text (IP)
p. 125-140
Evaluation of Soft-Delay-Error Effects in Content-Addressable Memory
N. Onizawa, N. Sakimura, R. Nebashi, T. Sugibayashi and T. Hanyu
Abstract
Full Text (IP)
p. 141-156
The Decomposition of U(n) into XU(n) and ZU(n)
Alexis De Vos and Stijn De Baerdemacker
Abstract
Full Text (IP)
p. 157-173
Semantic Games with Backtracking for T-norm Based Fuzzy Logics
Christian G. Fermüller
Abstract
Full Text (IP)