Modular Forms of Systems of k-valued Functions of the Algebra of Logic

By Fin’ko O.  

Automation and Remote Control, Vol. 66, Iss. 7, 2005-07 ,pp. : 1081-1100

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Constructing a multi-valued and multi-labeled decision tree

By Chen Y.-L.   Hsu C.-L.   Chou S.-C.  

Expert Systems with Applications, Vol. 25, Iss. 2, 2003-08 ,pp. : 199-209

Elsevier

Access to resources Recommend Favorite

A queueing model for predicting message latency in uni-directional k-ary n-cubes with deterministic routing and non-uniform traffic

By Loucif Samia   Ould Khaoua Mohamed   Min Geyong  

Cluster Computing, Vol. 10, Iss. 2, 2007-06 ,pp. : 229-239

Springer Publishing Company

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha   Gurfinkel Arie   Devereux Benet   Lai Albert   Easterbrook Steve  

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Multi-valued logic programming semantics An algebraic approach

By Mobasher B.   Pigozzi D.   Slutzki G.  

Theoretical Computer Science, Vol. 171, Iss. 1, 1997-01 ,pp. : 77-109

Elsevier

Access to resources Recommend Favorite