The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1996)
Jantiago de Compostela, SPAIN
Jan. 19, 1996 to Jan. 31, 1996
ISBN: 0-8186-7392-3
TABLE OF CONTENTS
Committees (PDF)
pp. xi
Referees (PDF)
pp. xii
Keynote Address I
Claudi Alsina , Universitat Oberta de Catalunya
pp. 2
Session 1A: Logic Design I
R. Drechsler , Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
pp. 10
Zeljko Zilic , Department of Electrical and Computer Engineering University of Toronto
Zvonko G. Vranesic , Department of Electrical and Computer Engineering University of Toronto
pp. 16
S. Rahardja , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
B.J. Falkowski , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 24
Session 1B: Logic I
A. Di Nola , Istituto di Matematica, Universita di Napoli, Italy
pp. 32
N. Takagi , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
K. Nakashima , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
M. Mukaidono , Dept. Electr. & Inf., Toyama Prefectural Univ., Japan
pp. 37
R. J. Bignall , School of Computing and Information Technology Monash University
pp. 43
Session 2A: Fault Modeling, Fault Diagnosis
M. Mediavilla , Dept. of Syst. Eng. & Control, Valladolid Univ., Spain
L.J. de Miguel , Dept. of Syst. Eng. & Control, Valladolid Univ., Spain
pp. 50
E.V. Dubrova , Department of Computer Science University of Victoria
pp. 56
Mou Hu , Shanghai Tiedao University
pp. 62
Session 2B: Devices
K. J. Chen , NTT LSI Laboratories
T. Waho , NTT LSI Laboratories
pp. 68
L.J. Micheel , Wright Lab., US Air Force, Wright-Patterson Air Force Base, OH, USA
H.L. Hartnagel , Wright Lab., US Air Force, Wright-Patterson Air Force Base, OH, USA
pp. 80
V. G. Oklobdzija , Electrical and Computer Engineering Department
K. W. Current , Electrical and Computer Engineering Department
pp. 86
Session 3A: Circuits, Logic Design I
M. Abd-El-Barr , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
M.N. Hasan , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
pp. 98
C. Rozon , R. Mil. Coll. of Canada, Kingston, Ont., Canada
pp. 110
Session 3B: Logic II
R. Hahnle , Dept. of Comput. Sci., Karlsruhe Univ., Germany
pp. 118
W. Liu , University of Ulster
pp. 124
H. Akdag , Paris VI Univ., France
pp. 130
M. Baaz , Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
C.G. Fermuller , Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
pp. 136
Special Session: Helena Rasiowa, In Memoriam: Invited Speakers: G. Malinowski, J.M. Font, and T. Sales
J.M. Font , Fac. of Math., Barcelona Univ., Spain
pp. 147
T. Sales , Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 148
Session 4A: Algebra I
Hassan Bezzazi , Universite de Lille I
pp. 160
D.A. Simovici , Dept. of Math. & Comput. Sci., Massachusetts Univ., Boston, MA, USA
pp. 166
Session 4B: Artificial Intelligence, Reasoning
P. Cari F1ena , Universidade de Santiago de Compostela
M.F. Delgado , Universidade de Santiago de Compostela
S. Barro , Universidade de Santiago de Compostela
pp. 172
S. Lehmke , Dept. of Comput. Sci., Dortmund Univ., Germany
pp. 178
Didier Dubois , Universite Paul Sabatier
Salem Benferhat , Universite Paul Sabatier
pp. 184
Keynote Address II
L.A. Zadeh , Comput. Sci. Div., California Univ., Berkeley, CA, USA
pp. 192
Session 5A: Algebra II
H. Thiele , Dept. of Comput. Sci., Dortmund Univ., Germany
pp. 198
I.G. Rosenberg , Dept. de Math. et de Stat., Montreal Univ., Que., Canada
pp. 203
Session 5B: Soft Computing
Wenjun Wang , University of Dortmund, Dept. C.Sc.
Claudio Moraga , University of Dortmund, Dept. C.Sc.
pp. 216
Session 6A: Circuits, Logic Design II
Takahiro Hanyu , Tohoku University
Manabu Arakaki , Tohoku University
Michitaka Kameyama , Tohoku University
pp. 224
Hao Tang , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
H.C. Lin , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 230
Session 6B: Decision Diagrams
J.T. Butler , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
J.L. Nowlin , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
T. Sasao , Dept. of Electr. & Comput. Eng., Naval Postgraduate Sch., Monterey, CA, USA
pp. 236
D. M. Miller , VLSI Design and Test Group University of Victoria
N. Muranaka , Department of Electronics Kansai University
pp. 242
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. 248
B.J. Falkowski , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
S. Rahardja , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 255
Session 7A: Algebra III
S. Yanushkevich , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
V. Levashenko , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
I. Bondar , Inst. of Comput. Sci., Tech. Univ. Szczecin, Poland
pp. 267
F. Sokhatsky , Dept. of Algebra, Pedagogical Inst., Vinnyteia, Ukraine
pp. 279
Session 7B: Logic III
S. Gerberding , Dept. of Comput. Sci., Darmstadt Univ., Germany
pp. 284
K. Nakashima , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
Y. Nakamura , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
N. Takagi , Dept. of Electron. & Inf., Toyama Prefectural Univ., Japan
pp. 290
Grant Pogosyan , International Christian University
pp. 296
Elena N. Zaitseva , Belarussian State Economic University
Tatyana G. Kalganova , (Belarussian State Universityof Informatics and Radioelectronics, Brovky
Evgeny G. Kochergov , (Institute of Problems of Criminology, Criminalistics and Forensic Expertise, Gvardeyskaya 7, 220035, Minsk, Republic of Belarus
pp. 302
Author Index (PDF)
pp. 308
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool