• I
  • ISMVL
  • 2006
  • 36th International Symposium on Multiple-Valued Logic (ISMVL'06)
Advanced Search 
36th International Symposium on Multiple-Valued Logic (ISMVL'06)
Singapore
May 17-May 20
ISBN: 0-7695-2532-6
Table of Contents
Introduction
Session 1: Invited Address
Session 2: Circuits I
Naofumi Homma, Tohoku University, Sendai, Japan
Takafumi Aoki, Tohoku University, Sendai, Japan
Tatsuo Higuchi, Tohoku Institute of Technology, Japan
pp. 2
Yukihiro Iguchi, Meiji University, Kawasaki 214-8571, Japan
Tsutomu Sasao, Kyushu Institute of Technology, Iizuka , Japan
Munehiro Matsuura, Kyushu Institute of Technology, Iizuka , Japan
pp. 3
Session 3: Algebra and Logic
Hisayuki TATSUMI, Tsukuba University of Technology, Japan
Masahiro MIYAKAWA, Tsukuba University of Technology, Japan
Masao MUKAIDONO, Meiji University, Japan
pp. 8
Matthias Baaz, Technische Universitat Wien, Vienna, Austria
Norbert Preining, Universit`a di Siena, Italy
Richard Zach, University of Calgary
pp. 9
Session 4: Circuits II
Tsutomu Sasao, Kyushu Institute of Technology, Japan
Jon T. Butler, Naval Postgraduate School, Monterey, CA.
pp. 11
Shu-Chung Yi, National Changhua University of Education, Changhua, Taiwan
Kun-Tse Lee, National Changhua University of Education, Changhua, Taiwan
Jin-Jia Chen, National Changhua University of Education, Changhua, Taiwan
Chien-Hung Lin, National Changhua University of Education, Changhua, Taiwan
Chuen-Ching Wang, National Changhua University of Education, Changhua, Taiwan
Chin-Fa Hsieh, China Institute of Technology, Taipei, Taiwan
Chih-Yung Lu, China Institute of Technology, Taipei, Taiwan
pp. 12
Session 5: Invited Address
Jaakko Astola, Tampere University of Technology, Finland
Radomir S. Stankovic, Dept. of Computer Science, Faculty of Electronics, 18000 Nis, Serbia
pp. 16
Session 6: Circuits III
Yoshihiro NAKATANI, Graduate School of Information Sciences, Tohoku Univers, Japan
Masanori HARIYAMA, Graduate School of Information Sciences, Tohoku Univers, Japan
Michitaka KAMEYAMA, Graduate School of Information Sciences, Tohoku Univers, Japan
pp. 17
Katsuhiko Degawa, Tohoku University, Sendai 980-8579, Japan
Takafumi Aoki, Tohoku University, Sendai 980-8579, Japan
Tatsuo Higuchi, Tohoku Institute of Technology, Japan
Hiroshi Inokawa, NTT Corporation, Japan
Katsuhiko Nishiguchi, NTT Corporation, Japan
Yasuo Takahashi, Graduate School of Information Science and Technology, Hokkaido University, Japan
pp. 19
Session 7: Algebra and Clones
Jovanka Pantovic, University of Novi Sad, Serbia and Montenegro
Gradimir Vojvodic, University of Novi Sad, Serbia and Montenegro
pp. 21
Masahiro Miyakawa, Tsukuba University of Technology, Japan
Ivo G. Rosenberg, Universite de Montreal, Canada
Hisayuki Tatsumi, Tsukuba Unversity of Technology, Japan
pp. 23
Session 8: Systems and Satisfiability
Goerschwin Fey, University of Bremen, Germany
Junhao Shi, University of Bremen, Germany
Rolf Drechsler, University of Bremen, Germany
pp. 25
Josep Argelich, Universitat de Lleida, Spain
Xavier Domingo, GPS MicroSAT, Spain
Chu-Min Li, Universite de Picardie, France
Felip Manya, IIIA-CSIC, Spain
Jordi Planes, Universitat de Lleida, Spain
pp. 26
Session 9: Decision Diagrams and Decision Trees
D. Michael Miller, University of Victoria, Victoria, BC, Canada
Mitchell A. Thornton, Southern Methodist University, Dallas, TX, USA
pp. 30
Bogdan J. Falkowski, Nanyang Technological University, Singapore
Shixing Yan, Nanyang Technological, Singapore
pp. 31
Session 10: Quantum Logic and Spectral Techniques
Michael Katz, Haifa University, Mount Carmel, Haifa, Israel
pp. 32
Lun Li, Southern Methodist University, Dallas, TX
Mitch Thornton, Southern Methodist University, Dallas, TX
Marek Perkowski, Portland State University, Portland, OR
pp. 33
Bogdan J. Falkowski, Nanyang Technological University, Singapore
Cheng Fu, Nanyang Technological University, Singapore
pp. 34
Claudio Moraga, European Center of Soft Computing de Barredo Building of Sc. and Tech., Spain
Radomir Stankovic, Dept. Computer Science Faculty of Electronics, Serbia
Jaakko Astola, Tampere University of Technology, Finland
pp. 35
Author Index
Usage of this product signifies your acceptance of the Terms of Use.