• I
  • ISMVL
  • 1995
  • 25th International Symposium on Multiple-Valued Logic
Advanced Search 
25th International Symposium on Multiple-Valued Logic
Bloomington, Indiana
May 23-May 25
ISBN: 0-8186-7118-1
Table of Contents
Session 1: VLSI
J.K. Madsen, Center for Broadband Telecommun., Tech. Univ. Denmark, Lyngby, Denmark
S.I. Long, Center for Broadband Telecommun., Tech. Univ. Denmark, Lyngby, Denmark
pp. 0002
S. Sakurai, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Aoki, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Higuchi, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 0008
Y. Ohi, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Aoki, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Higuchi, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 0014
M. Ryu, Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
M. Kameyama, Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
pp. 0020
Session 2: Logic Design I
T. Sasao, Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
J.T. Butler, Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
pp. 0028
Z. Zilic, Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Z.G. Vranesic, Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
pp. 0036
R. Oenning, Dept. of Comput. Sci., Dortmund Univ., Germany
C. Moraga, Dept. of Comput. Sci., Dortmund Univ., Germany
pp. 0044
Session 3: Circuit Design I
K.W. Current, Dept. of Electr. & Comput. Eng., California Univ., Davis, CA, USA
pp. 0052
T. Hanyu, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
A. Mochizuki, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Kameyama, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 0064
Session 4: Algebra I
J. Beckman, Graduate Sch., City Univ. of New York, NY, USA
T.C. Wesselkamper, Graduate Sch., City Univ. of New York, NY, USA
pp. 0072
A. Ngom, Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
C. Reischer, Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
I. Stojmenovic, Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 0078
Session 5: Device-Based Circuit and Testing I
Xiaowei Deng, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
T. Hanyu, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
M. Kameyama, Graduate Sch. of Inf. Sci., Tohoku Univ., Sendai, Japan
pp. 0092
R. Drechsler, Dept. of Comput. Sci., Frankfurt Univ., Germany
R. Krieger, Dept. of Comput. Sci., Frankfurt Univ., Germany
B. Becker, Dept. of Comput. Sci., Frankfurt Univ., Germany
pp. 0098
E.V. Dubrova, Dept. of Comput. Sci., Victoria Univ., BC, Canada
D.B. Gurov, Dept. of Comput. Sci., Victoria Univ., BC, Canada
J.C. Muzio, Dept. of Comput. Sci., Victoria Univ., BC, Canada
pp. 0104
Session 6: Logic I
Zuoquan Lin, Comput. Sci. Dept., Shantou Univ., Guangdong, China
pp. 0112
B.J. Falkowski, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
S. Rahardja, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
pp. 0117
S. Akama, Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
Y. Nakayama, Comput. Logic Lab., Teikyo Heisei Univ., Chiba, Japan
pp. 0123
Invited Address
Session 7: Fuzzy Logic
Liusheng Liu, Inst. of Microelectron., Tsinghua Univ., Beijing, China
Zhijian Li, Inst. of Microelectron., Tsinghua Univ., Beijing, China
Bingxue Shi, Inst. of Microelectron., Tsinghua Univ., Beijing, China
pp. 0152
Session 8: Logic Design II
B.J. Falkowski, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
S. Rahardia, Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
pp. 0158
Hui Min Wang, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chung Len Lee, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
J.E. Chen, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 0164
Y. Hata, Dept. of Comput. Eng., Himeji Inst. of Technol., Japan
N. Kamiura, Dept. of Comput. Eng., Himeji Inst. of Technol., Japan
K. Yamato, Dept. of Comput. Eng., Himeji Inst. of Technol., Japan
pp. 0170
Session 9: Device-Based Circuit and Testing II
Wang Shoujue, Inst. of Semicond., Acad. Sinica, Beijing, China
Wu Xunwei, Inst. of Semicond., Acad. Sinica, Beijing, China
Feng Hongjuan, Inst. of Semicond., Acad. Sinica, Beijing, China
pp. 0178
Hao Tang, Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
Hung Chang Lin, Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 0182
Chung Len Lee, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Horng Nan Chern, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Min Shung Liao, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Hui Min Wang, Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 0187
Session 10: Algebra II
G. Pogosyan, Div. of Natural Sciences, Int. Christian Univ., Tokyo, Japan
A. Nozaki, Div. of Natural Sciences, Int. Christian Univ., Tokyo, Japan
pp. 0194
W. MacCaull, Dept. of Math. & Comput. Sci., St. Francis Xavier Univ., Antigonish, NS, Canada
pp. 0206
Session 11: Circuit Design II
A.K. Jain, Canadian Microelectron. Corp., Queen's Univ., Kingston, Ont., Canada
M.H. Abd-El-Barr, Canadian Microelectron. Corp., Queen's Univ., Kingston, Ont., Canada
R.J. Bolton, Canadian Microelectron. Corp., Queen's Univ., Kingston, Ont., Canada
pp. 0216
Xunwei Wu, Dept. of Electron. Eng., Hangzhou Univ., China
Xiexiong Chen, Dept. of Electron. Eng., Hangzhou Univ., China
Jizhong Shen, Dept. of Electron. Eng., Hangzhou Univ., China
pp. 0222
R. Murakami, Fac. of Eng., Tokushima Univ., Japan
Y. Ohkura, Fac. of Eng., Tokushima Univ., Japan
R. Shimada, Fac. of Eng., Tokushima Univ., Japan
pp. 0228
Session 12: Logic II
N. Takagi, Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
K. Nakashima, Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
H. Kikuchi, Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
M. Mukaidono, Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
pp. 0236
H. Kikuchi, Dept. of Electr. Eng., Tokai Univ., Hiratsuka, Japan
S. Nakanishi, Dept. of Electr. Eng., Tokai Univ., Hiratsuka, Japan
N. Takagi, Dept. of Electr. Eng., Tokai Univ., Hiratsuka, Japan
M. Mukaidono, Dept. of Electr. Eng., Tokai Univ., Hiratsuka, Japan
pp. 0242
On Logic of Paradox (Abstract)
Zuoquan Lin, Comput. Sci. Dept., Shantou Univ., China
Wei Li, Comput. Sci. Dept., Shantou Univ., China
pp. 0248
T. Luba, Inst. of Telecommun., Warsaw Univ. of Technol., Poland
pp. 0256
Session 13: Artificial Intelligence
T.C. Wesselkamper, Graduate Sch., City Univ. of New York, NY, USA
J. Danowitz, Graduate Sch., City Univ. of New York, NY, USA
pp. 0264
Zheng Tang, Fac. of Eng., Miyazaki Univ., Japan
O. Ishizuka, Fac. of Eng., Miyazaki Univ., Japan
K. Tanno, Fac. of Eng., Miyazaki Univ., Japan
pp. 0270
S. Akama, Dept. of Inf. Syst., Teikyo Heisei Univ., Chiba, Japan
pp. 0276
Session 14: Logic Design III
A. Hozumi, Fac. of Eng., Himeji Inst. of Technol., Japan
N. Kamiura, Fac. of Eng., Himeji Inst. of Technol., Japan
Y. Hata, Fac. of Eng., Himeji Inst. of Technol., Japan
K. Yamato, Fac. of Eng., Himeji Inst. of Technol., Japan
pp. 0290
Usage of this product signifies your acceptance of the Terms of Use.