The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings 32nd IEEE International Symposium on Multi-Valued Logic (2002)
Boston, MA, USA
May 15, 2002 to May 18, 2002
ISBN: 0-7695-1462-6
TABLE OF CONTENTS
Reviewers (PDF)
pp. xi
Invited Talk
Sergiu Rudeanu , University of Bucharest
pp. 2
Algebra I
Hajime Machida , Hitotsubashi University
Masahiro Miyakawa , Tsukuba College of Technology
Ivo G. Rosenberg , Université de Montréal
pp. 10
B.A. Romov , Bayard Rustin High School for the Humanities
pp. 17
Michiro Kondo , Shimane University
pp. 23
Logical Design I
Claudio Moraga , Technical University of Madrid, University of Dortmund
pp. 28
Elena Dubrova , Royal Institute of Technology
Petra Färm , Royal Institute of Technology
pp. 35
Denis V. Popel , Baker University
Anita Dani , University of Wollongong
pp. 39
Noboru Tkagi , Toyama Prefectural University
Kyoichi Nakashima , Toyama Prefectural University
pp. 46
Circuits I
Yasushi Yuminaka , Gunma University
Tatsuya Morishita , Gunma University
Takafumi Aoki , Gunma University
Tatsuo Higuchi , Gunma University
pp. 54
Yongjian Brandon Guo , University of California, Davis
K. Wayne Current , University of California, Davis
pp. 67
Logical Design II
Invited Talk
Vincenzo Marra , University of Milan
Daniele Mundici , University of Milan
pp. 104
Spectral Techniques
Mitchell A. Thornton , Mississippi State University
D. Michael Miller , University of Victoria
Whitney J. Townsend , Mississippi State University
pp. 123
Circuits II
Elena N. Zaitseva , Belarus State Economic University
Vitaly G. Levashenko , Belarus State Economic University, University of Zilina
pp. 144
Naotake Kamiura , Himeji Institute of Technology
Teijiro Isokawa , Himeji Institute of Technology
Nobuyuki Matsui , Himeji Institute of Technology
pp. 149
Yinshui Xia , Napier Universit
Xunwei Wu , Ningbo University
Penjung Wang , Ningbo University
pp. 156
Invited Talk
R. Brayton , University of California, Berkeley
M. Gao , University of California, Berkeley
J-H. Jiang , University of California, Berkeley
Y. Jiang , University of California, Berkeley
Y. Li , University of California, Berkeley
A. Mishchenko , Portland State University
S. Sinha , Parades
T. Villa , Parades
pp. 168
Algebra II
Hiroaki Kikuchi , Tokai University
Noboru Takagi , Toyama Prefectural University
pp. 180
Ivo Rosenberg , University of Montreal
Dan A. Simovici , University of Massachusetts at Boston
Szymon Jaroszewicz , University of Massachusetts at Boston
pp. 192
Logical Design III
Svetlana N. Yanushkevich , University of Calgary
Piotr Dziurzanski , Technical University of Szczecin
Vlad P. Shmerko , University of Calgary
pp. 202
Anna M. Tomaszewska , Technical University of Szczecin
Svetlana N. Yanushkevich , University of Calgary
Vlad P. Shmerko , University of Calgary
pp. 209
Ilia Polian , Albert-Ludwigs-University
Piet Engelke , Albert-Ludwigs-University
Bernd Becker , Albert-Ludwigs-University
pp. 216
Invited Talk
Decision Diagrams
Masahiro Miyakawa , Tsukuba College of Technology
Nobuyuki Otsu , National Institute of AIST
Ivo G. Rosenberg , Université de Montréal
pp. 238
D. Michael Miller , University of Victoria
Rolf Drechsler , University of Bremen
pp. 245
Shinobu Nagayama , Kyushu Institute of Technology
Tsutomu Sasao , Kyushu Institute of Technology
Yukihiro Iguchi , Meiji University
Munehiro Matsuura , Kyushu Institute of Technology
pp. 261
Circuits III
Tsukasa Ike , Tohoku University
Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
pp. 270
Motoi Inaba , Tsukuba College of Technology
Koichi Tanno , Miyazaki University
Okihiko Ishizuka , Miyazaki University
pp. 282
Author Index (PDF)
pp. 289
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool