The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2001)
Warsaw, Poland
May 22, 2001 to May 24, 2001
ISBN: 0-7695-1083-3
TABLE OF CONTENTS
Preface (PDF)
pp. ix
Referees (PDF)
pp. xi
Session 1: Invited Address
Y. Iland , University of Waterloo
J.A. Brzozowski , University of Waterloo
pp. 0003
Session 2a: Circuits I
Tsukasa Ike , Tohoku University
Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
pp. 0021
K. Tanno , Miyazaki University
O. Ishizuka , Miyazaki University
pp. 0027
Session 2b: Design and Verification of Systems
M. Karpovsky , Boston University
R. Stankovic , Beogradska 14
Claudio Moraga , Dortmund University
pp. 0041
Session 3: Invited Address
U. Auer , Gerhard-Mercator-Universit?t Duisburg
F.-J. Tegude , Gerhard-Mercator-Universit?t Duisburg
C. Pacha , University of Dortmund
K.F. Goser , University of Dortmund
R. Duschl , Max-Planck-Institut f?r Festk?rperforschung
K. Eberl , Max-Planck-Institut f?r Festk?rperforschung
O.G. Schmidt , Max-Planck-Institut f?r Festk?rperforschung
pp. 0049
Session 4a: Circuits II
E. Dubrova , Royal Institute of Technology, Sweden
I. Ben Dhaou , Royal Institute of Technology, Sweden
pp. 0061
Session 4b: Fuzzy Logics and Their Applications I
Anna M. Radzikowska , Warsaw University of Technology
pp. 0075
Session 5a: Circuits III
Tetsuya Uemura , System Devices and Fundamental Research, NEC Corporation
Toshio Baba , System Devices and Fundamental Research, NEC Corporation
pp. 0089
Tako Waho , Sophia University
Kazufumi Hattori , Sophia University
Yuuji Takamatsu , Sophia University
pp. 0094
Session 5b: Fuzzy Logics and Their Applications II
Aydan M. Erkmen , Middle East Technical University
I. Erkmen , Middle East Technical University
pp. 0109
Session 6: Invited Address
Session 7: Tutorial
Session 8: Invited Address
Session 9a: Logic Design I
Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
Katsuhiko Shimabukuro , Tohoku University
Chotei Zukeran , University of the Ryukyus
pp. 0167
Christian Lang , Institute for Microelectronic and Mechatronic Systems
Bernd Steinbach , Institute for Computer Science, Freiberg University of Mining and Technology
pp. 0173
Session 9b: Automated Reasoning and Complexity I
Matthias Baaz , Technische Universit?t Wien
Agata Ciabattoni , Technische Universit?t Wien
Christian G. Fermüller , Technische Universit?t Wien
pp. 0181
Marsha Chechik , University of Toronto
Steve Easterbrook , University of Toronto
Benet Devereux , University of Toronto
pp. 0187
Session 10a: Logic Design II
S. Yanushkevich , Technical University of Szczecin
V. Cheushev , State University, Belarus
pp. 0201
Piotr Dziurzanski , Technical University of Szczecin
Svetlana N. Yanushkevich , Technical University of Szczecin and the State University of Informatics and Radioelectronics
Anna M. Tomaszewska , Technical University of Szczecin
pp. 0213
Session 10b: Automated Reasoning and Complexity II
Ramón Béjar , Cornell University
Reiner Hähnle , Chalmers University of Technology
Felip Manyá , Universitat de Lleida
pp. 0221
Agata Ciabattoni , Technische Universit?t Wien
Christian G. Fermüller , Technische Universit?t Wien
pp. 0227
Session 11: Invited Address
Session 12a: Computing Paradigms
Masahiko Hiratsuka , Sendai National College of Technology
Takafumi Aoki , Tohoku University
Tatsuo Higuchi , Tohoku University
pp. 0247
Dan A. Simovici , University of Massachusetts at Boston
pp. 0259
Session 12b: MV Logics and Algebras I
Charles G. Morgan , University of Victoria
pp. 0267
Hajime Machida , Hitotsubashi University
Masahiro Miyakawa , Tsukuba College of Technology
Ivo G. Rosenberg , Universit? de Montr?al
pp. 0279
Session 13: Tutorial
Session 14a: Decision Diagrams
Frank Schmiedle , Albert-Ludwigs-University
Wolfgang Günther , Albert-Ludwigs-University
Rolf Drechsler , Albert-Ludwigs-University
pp. 0299
Milena Stankovic , Faculty of Electronics
Jaakko Astola , Tampere University of Technology
Karen Egiazarian , Tampere University of Technology
pp. 0305
Session 14b: Fuzzy Logics and Set Theories
Petr Hájek , Institute of Computer Science
Zuzana Haniková , Institute of Computer Science
pp. 0319
Fujio Yamamoto , Kanagawa Institute of Technology
Tomoyuki Araki , Kanagawa Institute of Technology
pp. 0324
Session 15a: Neural Networks
Yasuyuki Murai , Kanagawa Institute of Technology
Hisayuki Tatsumi , Kanagawa Institute of Technology
pp. 0345
Qi-Iun Zhen , South China University of Technology
pp. 0351
Session 15b: MV Logics and Algebras II
Composing Submonads (Abstract)
M.A. Galán , Ume? University
P. Eklund , Ume? University
M. Ojeda-Aciego , Universidad de M?laga
A. Valverde , Universidad de M?laga
pp. 0367
Yang Xu , Southwest Jiaotong University
Jun Liu , Belgian Nuclear Research Centre
pp. 0373
Author Index (PDF)
pp. 0379
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool