23. ISMVL 1993:
Sacramento,
California,
USA
23rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 1993),
May 24-27,
1993,
Sacramento,
California,
USA,
Proceedings. IEEE Computer Society,
1993,
ISBN 0-8186-3350-6
Session 1:
Invited Address
Session 2a:
Logic Minimization
- Qinhua Hong, Benchu Fei, Haomin Wu, Marek A. Perkowski, Nan Zhuang:
Fast Synthesis for Ternary Reed-Muller Expansion.
14-16 BibTeX
- Cem Yildirim, Jon T. Butler, Chyan Yang:
Multiple-Valued PLA Minimization by Concurrent Multiple and Mixed Simulated Annealing.
17-23 BibTeX
- Antonio Lloris-Ruíz, Juan Francisco Gómez-Lopera, Ramón Román-Roldán:
Entropic Minimization of Multiple-Valued Functions.
24-28 BibTeX
- Yutaka Hata, Takahiro Hozumi, Kazuharu Yamato:
Gate Model Networks for Minimization of Multiple-Valued Logic Functions.
29-34 BibTeX
Session 2b:
Logic
Session 3a:
Fuzzy Logic
Session 3b:
Testing
Session 4a:
Algebra I
Session 4b:
Function Decomposition and Minimization
Session 5:
Invited Address
- Takafumi Aoki:
Dreams for New-Device-Based Superchips: From Transistors to Enzymes.
140-149 BibTeX
Session 6a:
Circuits
Session 6b:
Learning and Reasoning
- Kiyotaka Miyai, Yutaka Hata, Kazuharu Yamato:
A Representation of Approximate Reasoning with Analogy.
184-189 BibTeX
- Shyi-Ming Chen:
An Inexact Reasoning Technique Using Linguistic Rule Matrix Transformations.
190-195 BibTeX
- Zheng Tang, Okihiko Ishizuka, Qi-xin Cao, Hiroki Matsumoto:
Algebraic Properties of a Learning Multiple-Valued Logic Network.
196-201 BibTeX
- Qi-xin Cao, Okihiko Ishizuka, Zheng Tang, Hiroki Matsumoto:
Algorithm and Implementation of a Learning Multiple-Valued Logic Network.
202-207 BibTeX
- Matthias Baaz, Christian G. Fermüller, Richard Zach:
Systematic Construction of Natural Deduction Systems for Many-Valued Logics.
208-213 BibTeX
Session 7a:
Logic Design
Session 7b:
Algebra II
Session 8:
Invited Address
- Jonathan Wayne Mills:
Lukasiewicz' Insect: The Role of Continuous-Valued Logic in a Mobile Robot's Sensors, Control, and Locomotion.
258-263 BibTeX
Session 9a:
Special Applications
Copyright © Sat May 16 23:25:53 2009
by Michael Ley (ley@uni-trier.de)
