Implementing a multiple-valued decision diagram package

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1998, Pages 52-57

  Miller, D Michael ^a   Drechsler, Rolf ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; DECISION TABLES; MATRIX ALGEBRA;

MULTIPLE VALUED BINARY DECISION DIAGRAMS (MDD);

MANY VALUED LOGICS;

EID: 0031633112     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)