Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818656506

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A weak propositional calculus for signal processing with thresholds

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302178 ◽

2002 ◽

Author(s):

G. Epstein

Keyword(s):

Signal Processing ◽

Propositional Calculus

Download Full-text

On T-quantifiers and S-quantifiers

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302192 ◽

2002 ◽

Cited By ~ 9

Author(s):

H. Thiele

Download Full-text

Interband-tunneling III-V semiconductor structures for multiple-valued literal and arithmetic functions

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302200 ◽

2002 ◽

Cited By ~ 2

Author(s):

L.J. Micheel ◽

H.L. Hartnagel ◽

W.T. Anderson ◽

S.W. Kirchoefer ◽

N.A. Papanicolaou

Keyword(s):

Arithmetic Functions ◽

Semiconductor Structures ◽

Interband Tunneling

Download Full-text

Multiple-valued-input TANT networks

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302181 ◽

2002 ◽

Cited By ~ 2

Author(s):

M.A. Perkowski ◽

M. Chrzanowska-Jeske

Download Full-text

Design of multiwave computing circuits based on a model of integrated opto-electronic devices

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302198 ◽

2002 ◽

Author(s):

Y. Watanabe ◽

T. Aoki ◽

T. Higuchi

Keyword(s):

Electronic Devices

Download Full-text

Synthesis of multi-variable MVL functions using hybrid mode CMOS logic

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302222 ◽

2002 ◽

Cited By ~ 2

Author(s):

Yeong-Jar Chang ◽

Chung Len Lee

Keyword(s):

Hybrid Mode

Download Full-text

Computing prime implicants/implicates for regular logics

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302213 ◽

2002 ◽

Author(s):

A. Ramesh ◽

N.V. Murray

Keyword(s):

Prime Implicants

Download Full-text

Multiple-valued logic operations with universal literals

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302217 ◽

2002 ◽

Cited By ~ 5

Author(s):

G.W. Dueck ◽

J.T. Butler

Keyword(s):

Multiple Valued Logic ◽

Logic Operations

Download Full-text

Searching for complete functions over E(3) with small radii

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302204 ◽

2002 ◽

Cited By ~ 1

Author(s):

F.J. Cabrasawan ◽

T.G. Wesselkamper

Keyword(s):

Complete Functions

Download Full-text

Digital circuit verification using partially-ordered state models

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) ◽

10.1109/ismvl.1994.302226 ◽

2002 ◽

Cited By ~ 4

Author(s):

R.E. Bryant ◽

C.-J.H. Seger

Keyword(s):

Digital Circuit ◽

Circuit Verification ◽

Partially Ordered ◽

State Models ◽

Ordered State

Download Full-text

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

A weak propositional calculus for signal processing with thresholds

On T-quantifiers and S-quantifiers

Interband-tunneling III-V semiconductor structures for multiple-valued literal and arithmetic functions

Multiple-valued-input TANT networks

Design of multiwave computing circuits based on a model of integrated opto-electronic devices

Synthesis of multi-variable MVL functions using hybrid mode CMOS logic

Computing prime implicants/implicates for regular logics

Multiple-valued logic operations with universal literals

Searching for complete functions over E(3) with small radii

Digital circuit verification using partially-ordered state models

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)
Latest Publications