Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138)
Latest Publications

TOTAL DOCUMENTS

62

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

0818683716

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating sets for clones and partial clones

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679515 ◽

2002 ◽

Author(s):

F. Borner ◽

L. Haddad

Keyword(s):

Generating Sets

Download Full-text

Many-valued and annotated modal logics

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679316 ◽

2002 ◽

Author(s):

S. Akama ◽

J.M. Abe

Keyword(s):

Download Full-text

Minimal test set generation for fault diagnosis in R-valued PLAs

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679273 ◽

2002 ◽

Author(s):

Y. Nagata ◽

D.M. Miller ◽

M. Mukaidono

Keyword(s):

Fault Diagnosis ◽

Download Full-text

The MacLaurin's and Taylor's series expansions of the symbolic multiple valued logic functions

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679291 ◽

2002 ◽

Author(s):

Hwan Mook Chung ◽

Su Young Pi ◽

S. Rey

Keyword(s):

Series Expansions ◽

Multiple Valued Logic ◽

Logic Functions ◽

Taylor’S Series

Download Full-text

Upper and lower bounds on the number of fuzzy/c switching functions

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679473 ◽

2002 ◽

Author(s):

H. Tatsumi ◽

T. Araki ◽

M. Mukaidono ◽

S. Tokumasu

Keyword(s):

Lower Bounds ◽

Upper And Lower Bounds ◽

Switching Functions

Download Full-text

On closure operators in fuzzy deductive systems and fuzzy algebras

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679474 ◽

2002 ◽

Author(s):

H. Thiele

Keyword(s):

Closure Operators ◽

Deductive Systems

Download Full-text

Wave-parallel computing systems using multiple-valued pseudo-orthogonal sequences

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679327 ◽

2002 ◽

Author(s):

Y. Yuminaka ◽

Y. Sasaki ◽

T. Aoki ◽

T. Higuchi

Keyword(s):

Parallel Computing ◽

Computing Systems ◽

Orthogonal Sequences

Download Full-text

A Frontier algorithm for optimization of multiple-valued logic functions

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679450 ◽

2002 ◽

Author(s):

M. Abd-El Barr ◽

M.M. Abd-El-Barr

Keyword(s):

Multiple Valued Logic ◽

Logic Functions

Download Full-text

Membership functions in automatic harmonization system

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679513 ◽

2002 ◽

Author(s):

M. Tokumaru ◽

K. Yamashita ◽

N. Muranaka ◽

S. Imanishi

Keyword(s):

Membership Functions

Download Full-text

Multiple-valued logics for theorem-proving in first order logic with equality

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138) ◽

10.1109/ismvl.1998.679313 ◽

2002 ◽

Author(s):

R.J. Bignall ◽

M. Spinks

Keyword(s):

Theorem Proving ◽

Order Logic ◽

First Order Logic ◽

Download Full-text