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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818683716

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 2

Author(s):

Y. Nagata ◽

D.M. Miller ◽

M. Mukaidono

Keyword(s):

Fault Diagnosis ◽

Test Set

Download Full-text

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 8

Author(s):

S. Akama ◽

J.M. Abe

Keyword(s):

Modal Logics

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

Author(s):

Y. Yuminaka ◽

Y. Sasaki ◽

T. Aoki ◽

T. Higuchi

Keyword(s):

Parallel Computing ◽

Computing Systems ◽

Orthogonal Sequences

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 ◽

Cited By ~ 1

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

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 2

Author(s):

R.J. Bignall ◽

M. Spinks

Keyword(s):

Theorem Proving ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

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

Generating sets for clones and partial clones

Many-valued and annotated modal logics

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

On closure operators in fuzzy deductive systems and fuzzy algebras

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

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

A Frontier algorithm for optimization of multiple-valued logic functions

Membership functions in automatic harmonization system

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)
Latest Publications