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
Circuits I
Yongjian Brandon Guo , University of California, Davis
K. Wayne Current , University of California, Davis
pp. 67
Logical Design II
Invited Talk
Spectral Techniques
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
Invited Talk
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
pp. 180
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
Piet Engelke , Albert-Ludwigs-University
Bernd Becker , Albert-Ludwigs-University
pp. 216
Invited Talk
Decision Diagrams
Masahiro Miyakawa , Tsukuba College of Technology
Ivo G. Rosenberg , Université de Montréal
pp. 238
D. Michael Miller , University of Victoria
Rolf Drechsler , University of Bremen
pp. 245
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
Okihiko Ishizuka , Miyazaki University
pp. 282
Author Index (PDF)
pp. 289
828 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool