Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769501613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structural and behavioral modeling with monadic logics

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779709 ◽

2003 ◽

Cited By ~ 1

Author(s):

A. Ayari ◽

D. Basin ◽

S. Friedrich

Keyword(s):

Behavioral Modeling

Download Full-text

A super switch algebra for quantum device based systems

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779705 ◽

2003 ◽

Author(s):

G.W. Dueck ◽

Mou Hu ◽

B. Fraser

Keyword(s):

Quantum Device

Download Full-text

Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779706 ◽

2003 ◽

Cited By ~ 5

Author(s):

T. Ninomiya ◽

M. Mukaidono

Keyword(s):

Kleene Algebra

Download Full-text

Bi-decompositions of multi-valued functions for circuit design and data mining applications

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779695 ◽

2003 ◽

Cited By ~ 5

Author(s):

B. Steinbach ◽

M.A. Perkowski ◽

C. Lang

Keyword(s):

Data Mining ◽

Circuit Design

Download Full-text

Multiple-valued minimization to optimize PLAs with output EXOR gates

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779702 ◽

2003 ◽

Cited By ~ 16

Author(s):

D. Debnath ◽

T. Sasao

Download Full-text

Matrix-valued EXOR-TDDs in decomposition of switching functions

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779710 ◽

2003 ◽

Author(s):

R.S. Stankovic

Keyword(s):

Switching Functions

Download Full-text

Supplementary symmetrical logic circuit structure

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779693 ◽

2003 ◽

Cited By ~ 5

Author(s):

E. Olson

Keyword(s):

Logic Circuit ◽

Circuit Structure

Download Full-text

Probabilistic and truth-functional many-valued logic programming

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779722 ◽

2003 ◽

Cited By ~ 3

Author(s):

T. Lukasiewicz

Keyword(s):

Logic Programming

Download Full-text

Quaternion groups versus dyadic groups in representations and processing of switching functions

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779689 ◽

2003 ◽

Author(s):

R.S. Stankovic ◽

D. Milenovic ◽

D. Jankovic

Keyword(s):

Switching Functions

Download Full-text

State assignment techniques in multiple-valued logic

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) ◽

10.1109/ismvl.1999.779720 ◽

2003 ◽

Cited By ~ 3

Author(s):

K.J. Adams ◽

J.G. Campbell ◽

L.P. Maguire ◽

J.A.C. Webb

Keyword(s):

State Assignment ◽

Multiple Valued Logic

Download Full-text

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Structural and behavioral modeling with monadic logics

A super switch algebra for quantum device based systems

Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients

Bi-decompositions of multi-valued functions for circuit design and data mining applications

Multiple-valued minimization to optimize PLAs with output EXOR gates

Matrix-valued EXOR-TDDs in decomposition of switching functions

Supplementary symmetrical logic circuit structure

Probabilistic and truth-functional many-valued logic programming

Quaternion groups versus dyadic groups in representations and processing of switching functions

State assignment techniques in multiple-valued logic

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)
Latest Publications